Question: why ocaml is not popular?
Answer: As a result, OCaml is not good for applications where performance must be very predictable---like embedded systems. C is a language with a standard and many compilers. OCaml is a software artifact: the only compiler is from a single source, and the compiler is the standard. And that standard changes with every release.