ATS used to be discussed quite a lot on HN

https://hn.algolia.com/?query=The%20ATS%20Programming%20Lang...

MLton and Felix would be two other ML inspired languages that whole program optimizes to generate fast code.

http://www.mlton.org/

https://felix.readthedocs.io/en/latest/

Fun talk on this language here: https://www.youtube.com/watch?v=zt0OQb1DBko ("A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram)

Looks interesting. Actively developed : https://github.com/githwxi/ATS-Postiats

edit: You are right, I did not know there was a third version. If only this thing had release notes. I have no idea the current state of the language is. Hongwei, if you're listening!

If this language is going to be a thing it needs community development.

Abstract Tree Syntax