ATS-Xanadu

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.

Not to be confused with ATS 3 Xanadu <https://github.com/githwxi/ATS-Xanadu/>

There's definitely some similarities to ATS conceptually, but not that much in the actual implementation, and definitely not in the syntax. That said, Hongwei Xi is a genius, and ATS is one of the most important and innovative languages of the past decade, despite the crazy syntax (seriously, t@ype for the sort of flat memory types is just bonkers). I'm really looking forward to ATS3 though https://github.com/githwxi/ATS-Xanadu, and I think there's chance it could gain serious traction.

> It's just that most people are not willing or able to pay the very high price in ergonomics. Hopefully it will get better in ATS3 - https://github.com/githwxi/ATS-Xanadu#project-description

> but I can’t imagine this being simpler than just rewriting the C in Rust. sometimes it's impossible without falling back to unsafe Rust, which kind of undermines the initial incentive. C codebases heavily utilise pointer arithmetic programming. Simplicity is a good trait though, and there are a few promising initiatives in that regard in ATS3 - https://github.com/githwxi/ATS-Xanadu#project-description

It's far from dead, a new version of the compiler is being developed on top of ATS2 (https://github.com/githwxi/ATS-Xanadu). ATS2 is being updated too (https://github.com/githwxi/ATS-Postiats), the latest stable release happened last December: https://github.com/githwxi/ATS-Postiats/blob/master/CHANGES-... https://sourceforge.net/projects/ats2-lang/files/ats2-lang/