<div><span class="Apple-style-span" style="color: rgb(0, 0, 255); font-family: verdana; font-size: 16px; "><a id="title_t3_72hmw" onmousedown="setClick(this, &#39;title&#39;)" class="title click" href="http://shootout.alioth.debian.org/u64q/benchmark.php?test=all&amp;lang=all" style="text-decoration: none; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; overflow-x: hidden; overflow-y: hidden; color: rgb(85, 26, 139); font-size: medium; font-weight: normal; margin-bottom: 1px; ">Language Shootout: ATS is the new top gunslinger. Beats C++</a></span><br>
</div><div><span class="Apple-style-span" style="color: rgb(0, 0, 255); font-family: verdana; font-size: 16px;"><br></span></div><div><span class="Apple-style-span" style="color: rgb(0, 0, 255); font-family: verdana; font-size: 16px;"><a href="http://www.reddit.com/r/programming/comments/72hmw/language_shootout_ats_is_the_new_top_gunslinger/">http://www.reddit.com/r/programming/comments/72hmw/language_shootout_ats_is_the_new_top_gunslinger/</a><br>
</span></div><div><span class="Apple-style-span" style="color: rgb(0, 0, 255); font-family: verdana; font-size: 16px;"><br></span></div><div><span class="Apple-style-span" style="font-family: verdana; "><p style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; margin-top: 5px; margin-right: 0px; margin-bottom: 5px; margin-left: 0px; ">
...Many people somehow think that ATS is fast because of its support for advanced types such as dependent types and linear types.&nbsp;Actually, types are primarily for enhancing safety rather than speed. T<span class="Apple-style-span" style="font-weight: bold; ">he 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.</span></p>
<p style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; margin-top: 5px; margin-right: 0px; margin-bottom: 5px; margin-left: 0px; "><br></p><p style="padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; margin-top: 5px; margin-right: 0px; margin-bottom: 5px; margin-left: 0px; ">
What is interesting abut this ML derived language is the speed. The &quot;theoriem proving&quot; facilities seems like a language extensions for &nbsp;property checkings mainly for his non pure features. The type system seems to aid on the safety of pointer arithmetics and other dangerous operations.</p>
</span></div>