Насколько  известно существует много языков, использующих JVM. В одном из интервью  мы как раз говорили о таком —   JRuby.

Сюда можно отнести такие языки как Scala, Groovy и Kotlin.

А что вы знаете о Whiley? Ничего? Хм…

Тогда предлагаю посмотреть инфу по ссылкам.

Информация о языке на wikipedia.

Сам сайт Whiley.

Обратите внимание, что он является open source проектом и кто знает, может за ним будущее.