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

>>24
In the absence of other clear merits - yes.
Lisp syntax is beautiful, by the way (and I mean the real Lisp syntax, not the Clojure abomination).