What about Scala? It's probably my favorite language: incredibly expressive, FP+OO, higher kinded-types, great tooling, flexible performance (you can adjust bet

What about Scala? It's probably my favorite language: incredibly expressive, FP+OO, higher kinded-types, great tooling, flexible performance (you can adjust between elegance and java/C++-like performance very easily), and runs on the bullet-proof JVM.