5 ms·
You'll definitely want to check out ATS[0]. It's a functional, dependently-typed language with performance on par with C(its compilation target), and has a typ
by JoshuaScript 7y ago
You'll definitely want to check out ATS[0].
It's a functional, dependently-typed language with performance on par with C(its compilation target), and has a type system and theorem prover that guarantees memory-safe code.
[0] http://www.ats-lang.org http://www.ats-lang.org
- philzook 7y agoI 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