Name: Anonymous 2016-11-03 4:04
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
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