ATS-Xanadu:在ATS2中实现ATS3

-ATS / Xanadu 释放类型和模板潜力的编程语言系统 建置状态 的Ubuntu 西格温 项目介绍 ATS3是对ATS2进行极大改进的尝试。 ATS2可能最大的问题是与之相关的非常陡峭的学习曲线。 很少有程序员能够克服它，以至于他们可以真正开始享受（高级）类型检查和（可嵌入）模板的强大功能。 在将近20年前设计DML（ATS的前身）时，采用了两层方法进行类型检查：首先是类似ML的类型检查，然后是从属类型检查。 这种方法后来在ATS的设计中被放弃。 相反，在ATS1和ATS2中仅存在相关的类型检查。 在ATS3中，将采用DML的两层方法。 特别地，可以编译并执行通过了类似ML的类型检查的ATS3中的程序。 因此，如果可以选择的话，可以跳过ATS3中的相关类型检查。 以此方式，期望学习曲线被大大拉平。 但是，不仅要拉平学习曲线，还需要做更多的工作。 类ML的类型是代数的（不涉及