Erst mal eine Übersicht:
Groovy - dynamische Sprache, java-ähnliche Syntax
Scala - OO-funktionaler Hybrid (a.k.a. “postfunktional”)
JRuby - dynamische Sprache, Ruby-Clone
Jython - dynamische Sprache, Python-Clone
Erjang funktionale Sprache, Erlang-Clone
Clojure - dynamische funktionale Sprache, lisp-ähnliche Syntax
Gosu - OO mit funktionalen Elementen
Ceylon - OO mit funktionalen Elementen
Kotlin - OO mit funktionalen Elementen
Fantom (vormals “Fan”) - OO mit funktionalen Elementen
Nice (nicht weiterentwickelt) - OO mit funktionalen Elementen
Frege - funktionale Spache, haskell-ähnliche Syntax
Fortress (nicht weiterentwickelt) - funktionale Sprache für mathematische Anwendungen
Joy - funktionale stackbasierte Sprache
Ioke - experimentelle prototypbasierte Sprache
Wikipedia listet noch deutlich mehr Sprachen auf, darunter aber viele obskure: http://en.wikipedia.org/wiki/List_of_JVM_languages
Ich habe bisher Scala gelernt, und etwas mit Frege experimentiert.