Aldor

Aldor는 Axiom 컴퓨터 대수 시스템을 확장하기 위해 설계된 수학 프로그래밍 언어로, 처음에는 A#이라는 이름으로 알려졌다. 타입과 함수를 일급 값으로 다루고 Category 및 Domain 추상화를 통해 복잡한 대수 구조를 프로그램에 표현할 수 있다. 정적 검사와 범용적인 수학...

이전 명칭	A#
분류	컴퓨터 대수 및 수학 프로그래밍 언어
기원	Axiom 확장 언어
핵심 기능	일급 타입과 함수, Category, Domain

Aldor는 Axiom 컴퓨터 대수 시스템을 확장하기 위해 설계된 수학 프로그래밍 언어로, 처음에는 A#이라는 이름으로 알려졌다. 타입과 함수를 일급 값으로 다루고 Category 및 Domain 추상화를 통해 복잡한 대수 구조를 프로그램에 표현할 수 있다. 정적 검사와 범용적인 수학 라이브러리 구성을 강조하며, Ada의 .NET 이식 프로젝트인 A.NET에서 사용한 A#과는 별개다.^[1]

역사

A#의 개발

Axiom에서의 분리

타입 시스템

일급 타입과 함수

Category와 Domain

매개변수화된 구조

언어 구성

선언과 표현식

모듈과 라이브러리

컴파일러

번역 과정

수학 라이브러리

활용과 영향

기호 계산

다른 수학 언어와 비교

역사