프로그램별 ats-first.sf.net

ATS는 프레임워크 어플라이드 타입 시스템에 뿌리를 둔 표현력이 높은 형식 시스템을 갖춘 프로그래밍 언어입니다. ATS에서는 FP, OOP 등을 포함한 다양한 프로그래밍 패러다임이 형식적인 방식으로 지원됩니다.