開發者 ats-first.sf.net

ATS 是一種程式設計語言，其類型系統具有很高的表達性，它植根於應用類型系統框架中。在 ATS 中，以類型形式支持各種程式設計範式，包括 FP、OOP 等。