Off-topic: I was intrigued by the 'ATS' in the shootout (don't remember it being there a couple of years ago).<p>I had followed the link posted by rodion_89 (2008 blog), into <a href="http://shootout.alioth.debian.org/#acceptable" rel="nofollow">http://shootout.alioth.debian.org/#acceptable</a> (nice opening and closing) and <a href="http://shootout.alioth.debian.org/u64/performance.php?test=binarytrees" rel="nofollow">http://shootout.alioth.debian.org/u64/performance.php?test=b...</a> - where 'ATS' sits at #3 (behind C and C++, edging out Java6).<p>The code (e.g. <a href="http://shootout.alioth.debian.org/u64/program.php?test=binarytrees&lang=ats&id=3" rel="nofollow">http://shootout.alioth.debian.org/u64/program.php?test=binar...</a> ) does not look too ugly, but apparently it may be twice as verbose as C++ ( <a href="http://shootout.alioth.debian.org/u32/ats.php" rel="nofollow">http://shootout.alioth.debian.org/u32/ats.php</a> ).<p>So, on to <a href="http://www.ats-lang.org/" rel="nofollow">http://www.ats-lang.org/</a> :<p><i>ATS is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Anairiats) is written in ATS itself. It can be as efficient as C/C++ (see The Computer Language Benchmarks Game for concrete evidence) and supports a variety of programming paradigms that include:<p>- Functional programming. [...]<p>- Imperative programming. [...]<p>- Concurrent programming. [...]<p>- Modular programming. [...]</i>
PyPy while great news for Python, is still a snail compared to another high-level language JIT, LuaJIT:<p><a href="http://shootout.alioth.debian.org/u32/benchmark.php?test=all&lang=luajit&lang2=pypy" rel="nofollow">http://shootout.alioth.debian.org/u32/benchmark.php?test=all...</a><p>edit: bit of background: Lua is a minimalist dynamic language. It can be used anywhere in your web development request stack since mod_lua was included in Apache 2.3.