Comment by rramadass

Interesting, didn't know of this. Some resources;

The ATS Programming Language - https://www.cs.bu.edu/~hwxi/atslangweb/

ATS3-Xanadu - https://github.com/githwxi/ATS-Xanadu

From https://en.wikipedia.org/wiki/ATS_(programming_language)

As of 2024, ATS/Xanadu (ATS3) is being developed actively in ATS2, with the hope of reducing the learning needed by two main improvements:

- Adding an extra layer to ATS2 to support ML-like algebraic type-checking

- Type-based metaprogramming using algebraic types only

With these improvements, Xi hopes for ATS to become much more accessible and easier to learn. The main goal of ATS3 is to transform ATS from a language mainly used for research, into one strong enough for large-scale industrial software development.