there's always this (#include standard disclaimer that some languages' submissions have been heavily optimized, others have not, and none of them may work like your apps; languages with modern type systems do prety well: ATS, scala, GHC, clean, ocaml, even F# under mono

http://shootout.alioth.debian.org/u32/which-programming-lang...