Название языка “Caml” является акронимом, который расшифровывается как Categorical Abstract Machine Language

Caml это язык общего назначения, разработанный для создания
безопасных и надежных программ. Сам по себе этот язык является очень
выразительным, но легким в изучении и использовании. Caml очень близок Standard ML
но они не полностью совместимы. Есть определенные различия в синтаксисе
и семантики, а самые главные различия содержатся в структуре модулей.

Caml поддерживает функциональный, императивный и объектно-ориентированный стили программирования.

Язык разрабатывается и поддерживается национальным научно-исследовательским институтом Франции INRIA с 1985 года.