[lpw25]

> I would say F# is an implementation that includes all the good parts of Ocaml the language

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.

[fsloth]

Sorry, I was a bit imprecise. I was thinking only about basic stuff like list operations being supported in the basic syntax, algebraic datatypes, pattern matching and optional mutability.