ATS Xanadu:在ATS2中实现ATS3 源码

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