I would say F# is an implementation that includes all the good parts of Ocaml the language and .Net the ecosystem.
Very good tooling. A feasible multithreading story. Industry level support.
A pet of mine: Has ecosystem support for real time graphics (OpenTK, Monogame, etc).
I like F#, but this just isn't true:
- Polymorphic variants
- GADTs
- Module system
The last one, in particular, is one of the best features of OCaml.
I would say F# is an implementation that includes all the good parts of Ocaml the language and .Net the ecosystem.
Very good tooling. A feasible multithreading story. Industry level support.
A pet of mine: Has ecosystem support for real time graphics (OpenTK, Monogame, etc).