Language Shootout: ATS is the new top gunslinger. Beats C++http://shootout.alioth.debian.org/u64q/benchmark.php?test=all&lang=all http://www.reddit.com/r/programming/comments/72hmw/language_shootout_ats_is_... ...Many people somehow think that ATS is fast because of its support for advanced types such as dependent types and linear types. Actually, types are primarily for enhancing safety rather than speed. The efficiency of ATS is largely rooted in its data representation (flat instead of boxed) and its support for tail-call optimization, which is vital for a functional language. What is interesting abut this ML derived language is the speed. The "theoriem proving" facilities seems like a language extensions for property checkings mainly for his non pure features. The type system seems to aid on the safety of pointer arithmetics and other dangerous operations.