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.
It's "very very minorly" (that's the only commit message used) difficult to follow, but I'm pretty sure ATS2 (Postiats) is in maintenance mode (activity is build changes), with ATS3 (Xanadu) https://github.com/githwxi/ATS-Xanadu being the focus of active development.
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)
Abstract Tree Syntax
Applicant Tracking System
Are They Serious?
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.
It's "very very minorly" (that's the only commit message used) difficult to follow, but I'm pretty sure ATS2 (Postiats) is in maintenance mode (activity is build changes), with ATS3 (Xanadu) https://github.com/githwxi/ATS-Xanadu being the focus of active development.