Off-topic: I was intrigued by the 'ATS' in the shootout (don't remember it being there a couple of years ago). I had followed the link posted by rodion_89 (200

Off-topic: I was intrigued by the 'ATS' in the shootout (don't remember it being there a couple of years ago). I had followed the link posted by rodion_89 (2008 blog), into http://shootout.alioth.debian.org/#acceptable http://shootout.alioth.debian.org/#acceptable (nice opening and closing) and http://shootout.alioth.debian.org/u64/performance.php?test=binarytrees http://shootout.alioth.debian.org/u64/performance.php?test=b... - where 'ATS' sits at #3 (behind C and C++, edging out Java6). The code (e.g. http://shootout.alioth.debian.org/u64/program.php?test=binarytrees&lang=ats&id=3 http://shootout.alioth.debian.org/u64/program.php?test=binar... ) does not look too ugly, but apparently it may be twice as verbose as C++ ( http://shootout.alioth.debian.org/u32/ats.php http://shootout.alioth.debian.org/u32/ats.php ). So, on to http://www.ats-lang.org/ http://www.ats-lang.org/ : 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: - Functional programming. [...] - Imperative programming. [...] - Concurrent programming. [...] - Modular programming. [...]