Название языка “Caml” является акронимом, который расшифровывается как Categorical Abstract Machine Language
Caml это язык общего назначения, разработанный для создания
безопасных и надежных программ. Сам по себе этот язык является очень
выразительным, но легким в изучении и использовании. Caml очень близок Standard ML
но они не полностью совместимы. Есть определенные различия в синтаксисе
и семантики, а самые главные различия содержатся в структуре модулей.
Caml поддерживает функциональный, императивный и объектно-ориентированный стили программирования.
Язык разрабатывается и поддерживается национальным научно-исследовательским институтом Франции INRIA с 1985 года.