Earlier quoted context omitted.
Scala? Strong static types, lots of quality libraries both for Scala and 'inherited' from Java. Fits well among the languages you already mention.
Nice. I've heard some complaints about compile times -- are they founded?
It is true that Scala's compile times are long, but the tooling provides ways so that you don't have to wait so much during development.