ATS! I am currently studying it. It is one of a kind. Functional programming with performance competitive with that of C, built upon dependent types, theorem proving, and linear types. There are loads of cool features, and it is being actively developed.
Some comments have been hidden by the post's author - find out more
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
ATS! I am currently studying it. It is one of a kind. Functional programming with performance competitive with that of C, built upon dependent types, theorem proving, and linear types. There are loads of cool features, and it is being actively developed.