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/