6 ms·

I am personally very intrigued by ATS, I think it is striving for a truly unique and powerful point in the programming language space, but have extreme reservat

I am personally very intrigued by ATS, I think it is striving for a truly unique and powerful point in the programming language space, but have extreme reservations about it being ready for general use. Do you consider it ready for adoption, or are bringing it up as a learning exercise?

JoshuaScript 7y ago
> I am personally very intrigued by ATS As am I. I'd say this, along with Idris and Agda are showing how useful types can be. > Do you consider it ready for adoption People have written non-trivial software in it[0], but because it hasn't yet reached a 1.0 release, I wouldn't say it's quite ready for adoption. It seems to be more of an academic project for now. [0] https://github.com/xlq/aos https://github.com/xlq/aos