I know cryptocurrency is contentious in this community so apologies for injecting it here:

OCamlPro is heavily involved in the development of Tezos and a big part of the reason I invested in it. One of the main selling points of Tezos is formal verification, which OCaml (being a pure-ish functional language) was instrumental for.

Regardless of the future of crypto (fad or world changing) if it's handling money or other assets it should be done safely. This is step in that direction.

OCaml is also used at Bloomberg and Jane Street.