ATS language

https://en.wikipedia.org/wiki/ATS_(programming_language)
As fast as C( http://stackoverflow.com/questions/26958969/why-was-the-ats-language-dropped-from-the-computer-language-benchmarks-game https://www.reddit.com/r/programming/comments/72hmw/language_shootout_ats_is_the_new_top_gunslinger/ )
Dependent types
Safety and built-in theorem proving

>>17
I don't believe that a language created by a single Chinaman academic can all of that in one package. When I tried to use ATS, it couldn't compile my programs because of some shitty fragile make scripts it was using. Also snake_case_is_shit and (* so are ML comments *). Documentation is virtually non-existent and nobody uses it. So yeah, you can advertise all you want, Mr. Xi, but no one's going to use your half-assed parody of a language anyway.