Caml
Origem: Wikipédia, a enciclopédia livre.
Caml (que significava originalmente "Categorical Abstract MetaLanguage") é um dialeto da família de linguagens de programação do ML,desenvolvida pelo INRIA e pela ENS.
Como todos os descendentes do ML, Caml é uma linguagem de tipagem estática, de avaliação estrita (strict evaluation) e usa gerenciamento automático de memória.
A primeira implementação do Caml, feita em Lisp foi apelidada de "Heavy CAML" (CAML pesado) por causa dos requisitos de CPU e memória excessivos se comparados com seu sucessor, o Caml light (Caml leve), que foi implementadoem linguagem C por Xavier Leroy e Damien Doligez. Além de ser completamente reescrito, o CAML special Light acrescentou um poderoso sistema de módulos na base da linguagem.
Atualmente a principal implementação do Caml é o Objective Caml,que acrescenta várias novas funcionalidades a linguagem. incluindo uma camada de orientação a objetos.