Image ventilateur qui tourne fond du ventilateur Circuit imprimé (image de titrage diode verte diode rouge
Administration

Caml

INFORMATIQUE > LANGAGES INFORMATIQUES

Acronyme pour Categorical Abstract Machine Language

Caml est un langage informatique


Date de création : 1987.

Paradigme(s) : langage impératif, fonctionnel et orienté objet (à classes)

Histoire

Caml a été imaginé et implémenté par l'équipe Formel de l'INRIA. L'équipe Formel s'est intéressée à partir de 1980 au langage ML créé par Robin Milner. ML était un métalangage associé au langage LCF.

La première implémentation de Caml a été publié en 1987 et le développement s'est poursuivi jusqu'en 1992.

Caractéristiques

Caml apporte :

  • Un sytème de types puissants (polymorphisme paramétrique et d'inférence de types)
  • Types de données algébriques définissables par l'utilisateur et filtrage,
  • Ramasse-miettes,

Généalogie

Caml provient du langage ML.

Pour en savoir plus

Le langage Caml (387 pages)

Wikipedia