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

>>6
I don't think you understand what this is. This is more than just a programming language. This is a programming language, a formal specification language and also model checking system all in one package. It's new so it's obvious that there aren't too many applications that use it yet.

If you don't like to learn it that's okay, but nobody is going to do anything practical if nobody even knows that it exists. If there's any place where this language is to be advertised, it's right here in this very forum that's dedicated to all things programming.