开发者 ats-first.sf.net

ATS 是一种编程语言，其类型系统具有很高的表达性，它植根于应用类型系统框架中。在 ATS 中，以类型形式支持各种编程范式，包括 FP、OOP 等。