I don't mean this in any snarky way, but after reading that part of the post, it's hard to understand why anyone would consider using OCaml. I mean, even the guys trying to advance OCaml have given up and moved to Rust. That might not be what they meant, of course, but it's not hard to come to that conclusion.