文件名称：ats2-lang:ATS2：释放类型和模板的潜力-开源
文件大小：4.32MB
文件格式：TGZ
更新时间：2024-06-20 07:13:46
开源软件
ATS 是一种静态类型的编程语言，它将实现与正式规范统一起来。 它配备了一个高度表达的类型系统，该系统植根于框架应用类型系统，这就是语言的名字。 特别是，ATS 中提供了依赖类型和线性类型。 ATS2 使用高级模板系统扩展了 ATS，允许在只有最低限度的运行时支持可用的设置中使用函数式编程。 此外，模板系统使ATS2非常适合支持数值计算。