From reading the threads here I can see most people agree the JVM is a great language in terms of capitalizing on the existing ecosystem. Some people mention S

From reading the threads here I can see most people agree the JVM is a great language in terms of capitalizing on the existing ecosystem. Some people mention Scala as an alternative to OCaml but honestly the language seems a lot less elegant (at least at a distance...) and the community seems to be surrounded in controversy and confusion ([1] ?) I think a SML inspired language on the JVM platform would be really popular. [2] lists a few but none of them seem to have gained momentum. [3] looked promising but it seems like development has stalled. 1: https://github.com/lampepfl/dotty https://github.com/lampepfl/dotty 2: https://smlfamily.github.io/ https://smlfamily.github.io/ 3: https://eta-lang.org/ https://eta-lang.org/