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
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.