4 ms·
The most surprising thing to me is that nobody has created a JVM port of F#.
by daxfohl 6y ago
The most surprising thing to me is that nobody has created a JVM port of F#.
- Multicomp 6y agoThere is scala which is a functional proglang for jvm (but not F# ported to jvm)
- daxfohl 6y agoSure but the author explicitly rejected scala due to its too-many features, even though he'd have preferred jvm. So it sounds like there is still some opportunity.
- sideeffffect 6y agoF# has the expectation of reified generics (Don Syme, the language author created them for .NET before creating F#, after all), which are not a thing (yet?) on JVM. Conversely, Scala has the expectation of (partial) type erasure as is done on JVM, and that's probably why the .NET port didn't get very far.
- daxfohl 6y agoBut does F# depend on reified generics? My understanding is that everything is still expressible without them, except some reflection operations (that could just not carry over), and dealing with int vectors etc would be slower. Seems like not a big blocker unless I'm mistaken. Is there a deeper problem that I'm missing?