F# is a great language, and definitely an ML. But it falls a bit short of being an OCaml. :) The type-system features are quite different -- e.g. F# has no func

F# is a great language, and definitely an ML. But it falls a bit short of being an OCaml. :) The type-system features are quite different -- e.g. F# has no functors and no GADTs, at least not the last time I checked. I think that F# has a different feel and perhaps a different target audience.