> 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 a

> 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