I programmed pretty intensively in OCaml a couple years ago to get a better understanding of the language.

It is a fine language, perfectly suited for general purpose programming, and is in general decently ergonomic. I personally won’t use it as my perfered language though. I find the functor/module system way too powerful, and can easily cause confusion in complex settings. There really is no better system for adhoc polymorphism than type classes. But people standby modules though.

I feel the good part of OCaml are generally avaliable in most good programming language, thus I kind of feel that the share for OCaml might slowly getting eaten by Rust, but we will see.