Caml

Un article de Wikipédia, l'encyclopédie libre.

Caml représente un langage de programmation généraliste conçu pour la sécurité et la fiabilité des programmes. Il se prête à des styles de programmation fonctionnelle, impérative et orientée objet. C'est de plus un langage fortement typé.

Le langage Caml est développé depuis 1985 par les équipes Formel puis Cristal de l'INRIA. Il existe deux implémentations de Caml :

  • Objective Caml est l'implémentation la plus avancée,
  • Caml Light est une implémentation légère, souvent utilisée dans les milieux académiques.


Le langage Caml est, dans sa version Caml Light, enseigné en option informatique dans la plupart des classes préparatoires aux grandes écoles, en filière MPSI / MP. Le style fonctionnel le rend relativement proche des mathématiques, notamment grâce à la récursivité, le typage fort rend son usage sûr (mais moins souple pour le programmeur) et la gratuité de sa distribution ne nuit pas au contribuable (bien que l'INRIA soit un organisme public). De plus, la particularité des langages ML, à savoir la reconnaissance de motifs (pattern matching), permet une syntaxe au cas par cas claire et lisible dans les fonctions récursives. Elle est aussi utilisée dans le rattrapage des exceptions, en particulier pour la gestion des erreurs.

Sommaire

[modifier] Consortium

La conception et le développement du langage Caml et de son environnement sont fédérés par un consortium dirigé par l'INRIA.

[modifier] Les extensions Caml

Il existe un grand nombre d'extension du langage Caml, permettant au langage de recouvrir le plus de concepts possibles.

[modifier] Voir aussi

[modifier] Liens internes

[modifier] Liens externes