> If something is truly worth it, it should be accessible to the "masses"
OCaml is accessible to the masses, for 10-20 years already.
I doubt that the masses will switch to FP languages (OCaml, Haskell, Lisp, ...) ever since the classical lightweight languages (Javascript, PHP, ...) provide anything they need for their basic stuff. Only few need more, and they have free choice of several nice niche languages which don't need to become mainstream.
We're here because of mass progress, not because of a few "chosen people". The "great man" theory of history fell by the wayside a one century ago.
What is "mass progress"? There are two options: a) let the masses learn to use the inventions of individualists (which happened with C/C++, PHP and Python for instance), or b) let the inventions be customized to the mediocre capabilities of the masses.
You want option b), obviously. I wouldn't call that "progress".
That's pretty much untrue unless by polish you mean "pretty but pointless IDEs and buzzword/checkbox compliance."
Ocaml is already very accessible, just on its own terms.
> Unix is user-friendly — it's just choosy about who its friends are.
> Anonymous, in The Art of UNIX Programming (2003) by Eric S. Raymond
At the end of the day, each community chooses its path. If Ocaml makes you happy how it is now, more power to you :)
i.e., "ocaml is already very accessible to people who know ocaml"