And OCaml lacks features that F# has. Like proper multicore support, computation expressions, unit of measure, operator overloading.
We have `let` operators instead.
And F# doesn't have proper overloading, it has an SML-like hack working for built-in types only, and only within a function, as far as I understand. It needs typeclasses for proper overloading. There is an ongoing work on Modular Implicits for proper overloading (and even dependent types in core language), but they are not there yet.