CAML

Caml (расшифровывается как Categorical Abstract Machine Language) — язык общего назначения, разработанный для создания безопасных и надежных программ. Сам по себе этот язык является очень выразительным, но легким в изучении и использовании. Caml очень близок Standard ML, но они не полностью совместимы. Есть определенные различия в синтаксисе и семантики, а самые главные различия содержатся в структуре модулей.

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

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