I think that it's fine technically

the ML family of languages have extensive static typing functionality that I like

but Rust has enough overlap in functionality and has greater uptake. (I say this not having spent enough time to really come up to speed on Rust myself.) A quarter century back, ocaml was the language that I was most impressed with for strong static typing functionality. In 2026, I think I'd probably look at Rust and only go to ocaml if Rust doesn't suit your needs.

As to whether it can be a "daily driver"...I mean, you can use any language daily. I do think that it's hard to appreciate how helpful it is to have all the examples and library support and tools until you move from a popular language to a less-used one and suddenly discover that you want something that isn't there.

Everyone should pick up an obscure language and try to be productive with it. It teaches you to be self-sufficient.

It was fun in college and a bit after. You dont lose anything learning it.

I personally like python more for scripting an MVP out really quick. Ocaml has some nice algorithmic stuff and I remember a UI library that made it fun.

It's a pretty mature language so I see no reason why it can't be used for general purpose. Though I would check if they have proper libraries that fulfills whatever task you're trying to complete first. For instance, if you're doing machine learning, I would probably stick to Python.

One thing to note is that it's a functional programming language. If your previous exposure to programing in general is limited to Python, you will find the syntax and the general way of doing things confusing.

OCaml is a complete language you could use it as a daily driver. Cornell put out a pretty cool course here. It's very closely related to F# which which is neat!

If you want to learn it for fun, practice and personal projects - yes.

Do you already know another programming language? If so learning additional languages is a benefit, the more you know the easier will be to pick up new ones. If you're just starting, Python is a better choice to get over the basics.

I would not recommend OCaml for a beginner, and while is probably a tad faster than Python, its userbase sizes differ wildly as in: Python is basically everywhere, while Caml/OCaml is an absolute small niche.