I think you missed one of the most compelling things about OCaml: it&#x27;s very arguably most performant system in existence which also provides the user with a strong type system. C&#x2F;C++ provide performance but not a strong type system, which results in huge numbers of bugs. Other languages provide strong type systems, but in exchange give up a lot of performance. OCaml is somewhat unique in this combination of features.<p>I say &quot;somewhat unique&quot; because there are other languages in this space: Rust in particular may be the language of choice for these feature needs in the future.