4 ms·
Perhaps they want to have access to some features that ocaml has that F# does not. Like: * gadts * first class anonymous modules * functors (module level fu
by Verdex 3y ago
Perhaps they want to have access to some features that ocaml has that F# does not. Like:
* gadts
* first class anonymous modules
* functors (module level functors)
* polymorphic variants
* row polymorphism
* effect handlers
Although, I must confess, I haven't exactly kept up to speed on F# development. Perhaps F# has added some of these features recently?
- qwerty456127 3y agoSincere thanks! This is exactly what I meant to ask!
- bunderbunder 3y agoI haven't used F# in a couple years now, but the longtime position of the maintainers has been that F# will not and should not adopt many features along those lines because they interact poorly with the .NET type system. It's not a perfect comparison, but, having spent some time dealing with all the unusual and surprising ways that some Scala language features interact with Java's type system, I tend to agree with the F# community on that point.
- qwerty456127 3y agoWhy won't OCaml steal F# features then?
- bunderbunder 3y agoI think the first questions to ask would be, which ones would it steal and why?