I have used OCaml sporadically in some hobby projects for more than a decade, and it’s a language I really like. The domain has been mostly compilers and static analyzers.
Professionally, I have been in a statistics role for many years. While Julia has improved the language and library ecosystem for data-oriented applications quite dramatically, I really miss a good statically typed language. Otherwise, I find it hard to scale from a prototype to a medium-sized application developed by a small team without running into some issues.
Why is not OCaml more popular in this area? What are some good libraries?
There’s Owl, a whole NumPy-SciPy-Pandas equivalent, which is quite impressive given the small amount of contributors: https://ocaml.xyz. But I haven’t seen many more dedicated libraries. However, I keep hearing OCaml is popular within insurance and finance.
For example, Jane Street is a famous OCaml user. What’s their stack like? Mostly custom code, aside from their alternative base libraries?