ATS (프로그래밍 언어)
ATS는 Hongwei Xi 등이 발전시킨 프로그래밍 언어로, 함수형 프로그래밍과 명령형 시스템 프로그래밍에 강력한 정적 타입 및 정리 증명 기법을 결합한다. 의존 타입과 선형 타입을 사용해 배열 경계와 자원 사용 등의 성질을 컴파일 시점에 검사할 수 있도록 하며, 프로그램에 포함된 증...
| 분류 | 함수형 프로그래밍과 시스템 프로그래밍 결합 언어 |
|---|---|
| 설계자 | Hongwei Xi |
| 타입 시스템 | 의존 타입, 선형 타입, 증명과 프로그램 분리 |
| 주요 목적 | 정적 검증과 저수준 자원 제어 |
ATS는 Hongwei Xi 등이 발전시킨 프로그래밍 언어로, 함수형 프로그래밍과 명령형 시스템 프로그래밍에 강력한 정적 타입 및 정리 증명 기법을 결합한다. 의존 타입과 선형 타입을 사용해 배열 경계와 자원 사용 등의 성질을 컴파일 시점에 검사할 수 있도록 하며, 프로그램에 포함된 증명이 실제 실행 때 별도 비용을 발생시키지 않도록 구성하는 접근을 지향한다. 명시적인 자원 관리와 정적 안전성의 결합이 주요 연구 주제다.[1]