[jon_smark]

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.

[gtani]

also, there's Real World Ocaml beta, publically available. In this case, beta means manuscript has been commented on by many qualified reviewers already,

http://anil.recoil.org/2013/06/17/real-world-ocaml-beta-avai...