Scala
Introducing Scala
Scala is described as "a modern multi-paradigm programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional languages". It is available for the JVM and it integrates very well with Java.