> So (asking genuinely), should we learn these things?

I wanted to learn a functional programming language with powerful type capabilities and I chose the Lean Language for that and not OCamel or Haskell. Reason being: Better type system (dependent types!), applicable in formal domains and can use it to learn math too.

For your bread and butter programming, there is already JS/Go anyways.

So don't see much point in learning OCamel.