ATS language

[bearophile]

In the recent past I think larsivi (or someone else?) was asking for functional languages that may be be used as system languages. I think the ATS may be fit:

http://www.ats-lang.org/

I think among other things the ATS language has "first class types" (that I think D too may enjoy to have in the future). The source code of ATS is written in AST itself (it can be converted automatically to C for boostrapping) doesn't look much long, despite the language seems to have lot of features.

Shootout examples in ATS, strangely they often seem faster than the current best C implementations (timings compared to C at the top of each file):
http://www.ats-lang.org/EXAMPLE/SHOOTOUT/

Bye,
bearophile