Honestly have wondered the same thing, I like OCaml and want to contribute to making it easier to use and adopt. However, I do feel like the current state of many open-source tools, OCaml doc, online resources for OCaml, etc. have accumulated in the situation we have right now https://twitter.com/codingedgar/status/1334232154486808583
I think what F# has that OCaml doesn't have is a community and foundation that promotes the language in more ways than just using it. They do a lot of writing, talking, improving, sharing, and discussing with regards to their language and it really pays off IMO
@ScottWlaschin's site ( http://fsharpforfunandprofit.com ) and @_cartermp's talks and demos of F# on YouTube both make up the literal reason why I'm an F#er and a functional programmer, and things like #FsAdvent make sure there's a growing supply of online knowledge on how to use F#
@k_cieslak and the community around his tooling put in an immense amount of work to make F# extremely comfortable and productive for developers. @dsymetweets and the compiler community are approachable and regularly invite us to learn about and make suggestions for the compiler.
Most F# libraries that I've had the pleasure of using are very well documented. No doubt that this is in part because of the dugnads that the community hosts now and then :)
The F# Software Foundation slack is active and always very helpful. It's actually astounding how despite being a rather small language, it's incredibly difficult to be left in the dark when it comes to using F# in whichever way you want if you get in touch with its community!
I write all this to reflect on what might help other functional programming languages develop in the way I've seen F# develop; I definitely want to contribute to some of the OCaml libraries I use both in terms of code contribution, documentation, and writing articles about them