OCaml 全称 Objective Categorical Abstract Machine Language，但这个名字几乎每一处都在诈骗：
首先，早在 1990 年的 Caml Light 时代，Xavier Leroy 就嫌范畴抽象机（CAM）太慢，用 ZINC（ZINC Is Not CAM）虚拟机把 CAM 给扬了；其次，几乎没有正常人会去用 OCaml 里那套极其复杂的面向对象（Objective）系统；最后，大家都只记得 match ... with 并统称它们为 ML-family，早就没人关心 CAM 了。
也就是说，O-CAM-L 五个字母里，唯一名副其实的只剩最后一个 L（Language）。(悲)