Every new language is converging to ML it seems, like js -> ts -> ReScript, it's also really easy to prototype with ML family module system super easy to bolt on a new feature and the compiler checks for you anything you forgot to refactor (if one was needed).
Only companies outside of web3 specifically hiring for OCaml is Ahrefs I know of except I do get recruiters in uk all the time contacting me for OCaml startup fintech work not jstreet related.
It's like Scheme to me something I enjoy hacking with doesn't have to be employment related. One good use is learning math, there's a book 'Discrete Math and Functional Programming' where you program proofs in Standard ML
I was paid to code in Ocaml by the CEA a long time ago. I think INRIA also has position, probably Cambridge too. That might not really help you. On a more serious note, Nomadic Labs was a big employer recently. Bloomberg used to have a small team using it for PL related tooling as did Meta. Docker bought a unikernel company using it.
You sometimes encounter people who are surprising knowledgeable in the language in surprising place in France.
I know of another smaller firm that uses OCaml for their trading. It's beyond me but I believe it's reactive programming, where it's reacting to market data input and other signals.
Generally, our stance is to prefer strictness, impurity, and clarity of analysis around speed and memory usage, instead of laziness, purity, and elegance. Also I prefer the Ocaml module system and its FFI, though I am wistful about Haskell's typeclasses.
