I just wanted to also add a JVM-based language to the list, and Kotlin is the only one I'm aware of that plays remotely in the league (in terms of language design/quality) of the ML languages.

Kotlin is young rather than experimental, AFAIK there's no novel feature in Kotlin.