ATS-PL-SYS

What is ATS? ATS is a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in the framework Applied Type System, which gives the language its name. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS2 (ATS/Postiats) is written in ATS1 (ATS/Anai

[tatac1]

[

[pogin]

Applied Type System を応用した言語とのこと。

[knjname]

“ATS is a statically typed programming language that unifies implementation with formal specification.” 関数型、逐次命令型、並列プログラミング、正格・遅延評価、強い型、証明系

[masterq]

関連ドキュメントを翻訳するプロジェクトを作った http://jats-ug.metasepi.org/

[dowhile]

great language shootout ですごく速い

[hengsu]

benchmarkで最速だったらしい