Caml é uma linguagem de programação de propósito geral projetada para assegurar a segurança e a fiabilidade dos programas. Ele é muito expressivo, mas fácil de aprender e usar. Caml é adequado para a programação em um estilo funcional, ou orientado para objetos. Ele foi desenvolvido e distribuído pela INRIA desde 1985.
O Sistema OCaml é a implementação principal da linguagem Caml. Ele oferece um poderoso sistema de módulos e uma camada orientada para objetos. Ele vem com um compilador que produz o código nativo para várias arquiteturas, para um alto desempenho; um compilador que produz bytecodes, para uma maior portabilidade, e um loop interativo, para uma experimentação e um desenvolvimento rápidos.
O sistema Caml Light é uma implementação leve e portátil do núcleo da linguagem Caml. Graças ao seu estatuto estável, ele é usado ativamente no ensino. Para a maioria dos outros usos, recomendamos preferir o seu sucessor o OCaml.
Além das distribuições oficiais dos compiladores Caml, o site da INRIA oferece um conjunto de recursos úteis on-line para usuários do Caml, desde iniciantes a peritos em programação. A maioria deles são fornecidos pela comunidade ativa de programadores do Caml.
Artigo original publicado por caml-.-inria-.-fr caml.inria.fr