[DonaldPShimoda]

> I doubt that it is used for actual trading.

Do you have a basis for that claim?

JS have developed tons of libraries and tools for OCaml development, and new developers and quants that they hire go through an OCaml bootcamp to come up to speed. They put lots of work into the OCaml compiler, and in blog posts about that work they talk about why this is useful for trading. Maybe I'm missing something crucial, but I think it's more likely that you just don't know what you're talking about.