5 ms·
Is there an ML on the JVM? The best part of F# is it felt like a simpler version of Scala, even without things like higher kinded types that are present in OCam
by desert_boi 7y ago
Is there an ML on the JVM? The best part of F# is it felt like a simpler version of Scala, even without things like higher kinded types that are present in OCaml.
- snuxoll 7y agoFrege is a Haskell inspired language on the JVM, about as close as I’ve found.
- tombert 7y agoIt’s not exactly ML, but there is a pretty-ok port of Haskell to the JVM called Eta [0]. [0] https://eta-lang.org/ https://eta-lang.org/
- yen223 7y agoIf you squint very (very) hard, Kotlin can fill that role. You've got algebraic data types via sealed classes, a weaker form of pattern matching via `when` expressions, and decent facilities for higher-order functions.
- soulnothing 7y agoI was going to comment the same thing. I moved from F# to kotlin and have about 80% of what I want / used from F#. With more tools eco system that makes management happy. Arrow adds to that, with it's library and compiler additions. I have also been building type providers in Kotlin. Where a gradle plugin scans a file / schema then generates types and DSLs off of it. It's a pragmatic functional language. The biggest catch to me. Is there are very few places using Kotlin in a fully functional style. On the back end more often than not you'll find Spring. Which undoes a lot of these features / patterns.
- apta 7y agoIncidentally, Java is getting pattern matching that is more capable than Kotlin's (and probably on par with Scala's).
- zelly 7y agoNah there isn't, I looked. There's Scala, but I don't have 5 years lying around to get up to speed on it.