Excuse me, but what makes you think of OCaml, SML and F# as "future of programming"? As much as I like OCaml, for example, I don't see it being mass-adopted in

Excuse me, but what makes you think of OCaml, SML and F# as "future of programming"? As much as I like OCaml, for example, I don't see it being mass-adopted in the near future, nor its tooling reaching the state of more established languages. All those languages you mentioned are most likely to continue being just niche ones. The only mostly-functional language I can see being mass-adopted right now is Elixir, and it still has a long way to go.