ATS, 타입으로 프로그램의 정확성을 증명하는 언어
Introduction to Programming in ATS
Hongwei Xi가 쓴 ATS 입문서로, 함수형 프로그래밍의 기초부터 의존 타입, 선형 타입, 정리 증명, 템플릿 기반 프로그래밍까지 언어의 핵심 기능을 차례로 다룬다. 프로그래밍 경험이 없는 독자를 상정하지만 내용이 상당히 밀도 높아, 어느 정도 경험이 있는 사람에게 더 적합하다. C와의 상호운용과 선형 뷰타입을 활용한 메모리 관리도 포함된다.
독자가 일반적인 프로그래밍에 익숙하다고 가정하지는 않지만, 상당한 프로그래밍 경험이 없는 사람에게는 이 책이 꽤 밀도 높게 느껴질 것이다.
- srean
예전에는 HN에서 ATS에 대한 논의가 꽤 많이 있었죠
https://hn.algolia.com/?query=The%20ATS%20Programming%20Lang...
MLton과 Felix는 전체 프로그램 최적화를 통해 빠른 코드를 생성하는, ML에서 영감을 받은 또 다른 두 언어입니다.
- ddellacosta
이 언어에 관한 재미있는 발표가 여기 있습니다: https://www.youtube.com/watch?v=zt0OQb1DBko (Aditya Siram의 "A (Not So Gentle) Introduction To Systems Programming In ATS")
- drop_star
Abstract Tree Syntax