Not every language
has a point, really, some of them just exist. You can always find a reason
why they continue to. But that doesn't mean it's going to be the best or even a good choice for anything in particular, necessarily.
Many of the core language fundamentals are incredibly sound, and it has a very good performance profile for the features you get. The type system is top notch and and the module system is afaik the only one of its kind and sophistication in a mature language. These all offer benefits that accrue over time, and I think ocaml systems age particularly well and remain easy to maintain. The syntax is french and bad but you get over that in the first year and truly it doesn't matter in the long run.
But yeah the libraries! It's good for when you weren't going to use them anyway because they don't exist. Which is why I think you see it used for research and complex internal finance shit, stuff you couldn't or wouldn't want to use external code for. But it's not as much as a struggle as you'd think, the type system basically feels like a PEG system to start with so it's easy to build robust interfaces to outside systems when you need to.
Personally I mostly use it for things other people use Go for. It has most of the same strengths but not the main weaknesses. But yeah I would kill for a solid modern TUI framework like charm. If I'm writing throwaway code I use something else because there is an overhead to starting new projects in it. If I'm writing a tool I hope or expect to use for years it's my go to though.