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

1. The Language Shootout isn't representative of practical language performance because it features only non-idiomatic, convoluted, optimized-to-hell programs. Judging language performance by The Language Shootout is like saying all Americans are muscular athletic super-swimmers because Michael Phelps keeps winning the Olympics. Fuck anyone who even uses this site as an argument.

2. >>2 is right. Fuck your academic half-assed languages that look good on paper but don't lend themselves to program development. Shen what? ATS when? Mercury whose anus? Write something simple and practical like a ray tracer or a parser, write it idiomatically, then you may have some ground to boast about your new language. Simply saying spells and mantras like "Dependent types" or "Safety" is not ground for speaking at all. Fuck you >>1