You should take a new/better look at OCaml, as most of the information you mentioned is wrong and/or out-of-date. For instance:
* F# is not a superset of OCaml. OCaml has a number of powerful features missing from F#, like functors, polymorphic variants, and first-class modules.
* I disagree that the ecosystem is "stale". There's lots of recent activity around the language, and you can find libraries for almost everything.
also, there's Real World Ocaml beta, publically available. In this case, beta means manuscript has been commented on by many qualified reviewers already,
* F# is not a superset of OCaml. OCaml has a number of powerful features missing from F#, like functors, polymorphic variants, and first-class modules.
* I disagree that the ecosystem is "stale". There's lots of recent activity around the language, and you can find libraries for almost everything.