jboadas recommended Clojure. 2 days ago
Scala is functional and translates to Java compatible bytecode. It can use Java libraries.
Ceylon is an object-oriented, strongly statically typed programming language with an emphasis on immutability, created by Red Hat.
Groovy is a dynamic object oriented language for the JVM.