M2001
M2001M2001은 모듈러형 교육용 수학 프로그래밍 언어이며, 현대의 이산 수학에서 고전적인 연속 수학에 이르는 수학적 알고리즘을 개발하고 제시합니다.M2001은 카테고리 이론에 기초한 의미 체계에 기초하고 있으며 Pascal 또는 Modula-2와 유사한 구문을 가지고 있습니다.
순수하게 교육학적 사용을 위해 설계되었기 때문에 효율성과 구현의 용이성은 개발에서 범용성과 적용 범위보다 훨씬 덜 중요했습니다.그것은 대학 수학 1학년 학생들을 위한 공식적인 알고리즘 기반을 형성하는데 중요한 역할을 하기 위해 만들어졌다.
개요
M2001은 다층 데이터 타입 스킴에 근거해 8개의 계산 타입과 6개의 구조 타입 중 다른 1개의 집합체를 포함한다.이 두 가지에 걸쳐 각각 수학 클래스 및 추상 클래스 컬렉션이 구축되었으며, 후자는 컴퓨터 과학에서 가장 일반적으로 사용되는 추상 데이터 유형을 포함합니다.
행렬 다항식 스택 대기열 목록 powerseries 시퀀스 트리 그래프 이중그래프 MATULICAL CLASS ABstract CLASS+-----------------------------------------------------------------------------------------------------------------------------------------------부울 문자 자연 정수 유리 실복소 텍스트 계산 유형
M2001의 타이핑 스킴의 하위 두 계층은 CAT 프로그래밍 언어라고 불리는 초기 실험에 기초했다.
레퍼런스
Ronald E. Prater의 모듈식 수학 프로그래밍 언어 [1]
