I would recommend F#. I went from Ocaml to F# because I wanted better tooling and a much larger pool of available library (any .net library can be used from F#

I would recommend F#. I went from Ocaml to F# because I wanted better tooling and a much larger pool of available library (any .net library can be used from F#), I did not look back. Both languages are close cousin but F#'s syntax feels a bit more streamlined at the cost of less powerful type inference (the type inference in Ocaml is a thing of beauty that I have not found elsewhere).