核心概念
일반화된 대수 이론(GAT)을 기반으로 범주론적 수학 모델을 소프트웨어에 일관되게 구현할 수 있는 GATlab이라는 도메인 특화 언어를 소개한다.
摘要
이 논문은 GATlab의 설계, 구현 및 응용에 대해 설명한다.
- 범주론적 구조가 과학 및 공학 분야에서 유용한 추상화로 인식되고 있다.
- GATlab은 GAT라는 논리 시스템을 기반으로 하며, 종속 유형을 포함하여 대수 이론을 확장한다.
- GATlab을 사용하면 프로그래머가 일반화된 대수 이론과 해당 모델을 지정할 수 있다. 이는 기호 표현에 기반한 자유 모델과 호스트 언어의 임의 코드로 정의된 계산 모델을 포함한다.
- 또한 프로그래머는 이론 간 사상을 정의하고 이를 사용하여 한 이론의 모델을 다른 이론의 모델로 선언적으로 마이그레이션할 수 있다.
- GATlab은 컴퓨터 대수와 소프트웨어 인터페이스 설계를 위한 통합 환경을 제공하는 것을 목표로 한다.
統計資料
범주론은 프로그래밍 언어의 유용한 구조화 원리로 인식되어 왔다.
범주론은 과학 및 공학 분야의 구성적 구조를 공식화하는 데 도움이 될 수 있다.
GAT는 범주론적 구조를 공리화하는 데 충분하다.
引述
"범주론은 프로그래밍 언어의 유용한 구조화 원리로 인식되어 왔다."
"범주론은 과학 및 공학 분야의 구성적 구조를 공식화하는 데 도움이 될 수 있다."
"GAT는 범주론적 구조를 공리화하는 데 충분하다."