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

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 https://github.com/githwxi/ATS-Xanadu, and I think there's chance it could gain serious traction.