I'm pointing out exactly the same thing I was in my original post: There is no axis on which OCaml is top 5. If you want control, there are better languages, if you want ecosystem, almost every language beats it. It's practically speaking never the best choice for anything. Basically the only reason anyone would ever choose it (for pretty much anything) is because they like it.
Also, OCaml is mature enough for Jane Street, Cisco, Docker, among others.
Which most likely will never pick neither Zig, nor Odin.