Scala (programming language)
It provides support for functional programming, and is statically typed. It is designed to fix some problems with Java, and to be concise—to be able to express a lot with only a little bit of code.