I think this is better understood as a consequence of Bonini's paradox (https://en.wikipedia.org/wiki/Bonini%27s_paradox).
However, the ML in OCaml stands for "Machine Language." OCaml stands for "Objective Caml." Caml, while in the ML lineage, stands for "Categorical Abstract Machine Language."
I think this is better understood as a consequence of Bonini's paradox (https://en.wikipedia.org/wiki/Bonini%27s_paradox).
However, the ML in OCaml stands for "Machine Language." OCaml stands for "Objective Caml." Caml, while in the ML lineage, stands for "Categorical Abstract Machine Language."