4 ms·
Isn't ATS a system language with dependent types? http://www.ats-lang.org/ http://www.ats-lang.org/
by nickpsecurity 8y ago
Isn't ATS a system language with dependent types?
http://www.ats-lang.org/ http://www.ats-lang.org/
- bjz_ 8y agoIt is, but they are not full spectrum dependent types, as far as I know. ATS doesn't have a Rust-style region system either, as far as I'm aware. It's very cool though, and quite inspiring, if a little unfriendly UX wise! :)