|
|
|
|
|
|
by jcburnham
1841 days ago
|
|
|
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. |
|
|