Comment by dualogy

> I wish there was a good ML-style language for the JVM.

github.com/Frege and eta-lang.org may be tried out