Caml

Caml (prononcé camel, signifie Categorical Abstract Machine Language) est 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é.

Caml

Informations

Développé par	Inria
Première version	1985
Type	Dialecte (en)
Site web	caml.inria.fr

modifier - modifier le code - voir Wikidata (aide)

Le style fonctionnel rapproche le langage Caml de l’écriture mathématique, notamment grâce à la récursivité et au filtrage par motif (pattern matching). Ce dernier, particularité de la famille ML, offre une syntaxe au cas par cas claire et lisible, et est aussi utilisé dans le rattrapage des exceptions, en particulier pour la gestion des erreurs. Le typage fort rend l’usage sûr mais moins souple pour le programmeur. Enfin, Caml pratique l’inférence de types pour déterminer automatiquement le type des variables et expressions et permet la généricité.

Descendant du langage ML, le Caml est développé depuis 1985 par les équipes Formel puis Cristal de l'Inria et l'a notamment été pendant cinq ans par le professeur Guy Cousineau (université Paris-Diderot)^[1]. La variante active de Caml est OCaml. Par rapport à l'ancienne variante Caml Light, aujourd'hui obsolète, elle ajoute de nombreuses fonctionnalités, comme un système de modules beaucoup plus poussé et le support de la programmation orientée objet (reposant sur le duck typing) dont elle tire son nom.

Consortium

La conception et le développement du langage Caml ainsi que son environnement sont fédérés par un consortium dirigé par Inria^[2].

Extensions

Il existe un grand nombre d'extensions de Caml, permettant au langage de couvrir beaucoup de concepts.

• Aspectual Caml : programmation par aspects^[3],[4].
• OCamlDuce : manipulation robuste de XML et d’expressions régulières, via l’intégration du langage CDuce^[5].
• MetaOcaml et sa réimplémentation BER MetaOCaml : métaprogrammation et macros^[6],[7].
• OCaml-templates : génération de code à partir des types^[8].
• FreshML : manipulation de données de syntaxe comportant des variables liées^[9].
• des extensions de ML pour supporter le polymorphisme ad-hoc^[10].
• O’Jacare : interfaçage entre OCaml et Java (basé sur camljava)^[11].
• ocamllex et ocamlyacc : génération d’analyseurs lexicaux et syntaxiques (équivalents des traditionnels lex et yacc)^[12].

Voir aussi

Articles connexes

• Haskell

Liens externes

• Site officiel
• (fr) Cours de programmation en Caml pour débutants
• (en) A brief history of Caml (as I remember it)
• (fr) Exercices de programmation en Caml, avec corrigés
• (fr) Exercices en Caml avec corrigés

Notes et références

Notes

Références

1. « CV de Guy Cousineau », sur aeres-evaluation.fr (consulté le 15 février 2011)
2. « Une histoire de Caml », sur caml.inria.fr, 28 janvier 2005
3. (en) Daniel S. Dantas, David Walker, Geoffrey Washburn et Stephanie Weirich, « PolyAML : A Polymorphic Aspect-oriented Functional Programming Language », Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP), vol. 40, n^o 9,‎ septembre 2005, p. 306-319 (DOI 10.1145/1086365.1086404, lire en ligne [PDF])
4. (en) Hidehiko Masuhara, Hideaki Tatsuzawa, Akinori Yonezawa et Stephanie Weirich, « Aspectual Caml : An Aspect-Oriented Functional Language », Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP), vol. 40, n^o 9,‎ septembre 2005, p. 320-330 (DOI 10.1145/1086365.1086405, lire en ligne [PDF])
5. (en) « CDuce: OCamlDuce », sur cduce.org (consulté le 19 août 2016)
6. (en) « MetaOCaml : A compiled, type-safe, multi-stage programming language », sur cs.rice.edu (consulté le 19 août 2016)
7. (en) « MetaOCaml : An OCaml dialect for multi-stage programming », sur okmij.org (consulté le 19 août 2016)
8. (en) « Ocaml-templates »^{(Archive.org • Wikiwix • Archive.is • Google • Que faire ?)}, sur pps.jussieu.fr (consulté le 14 juin 2015)
9. (en) Mark R. Shinwell, Andrew M. Pitts et Murdoch J. Gabbay, « FreshML: Programming with Binders Made Simple », Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP), vol. 38, n^o 9,‎ septembre 2003, p. 263-274 (DOI 10.1145/944705.944729, lire en ligne [PDF])
10. (en) J. Furuse, « Generic Polymorphism in ML », Journées francophones des langages applicatifs (JFLA),‎ janvier 2001, p. 75-96 (ISBN 2-7261-1180-7, lire en ligne [PDF])
11. « O’Jacare : Une interface objet entre O’Caml et Java »^{(Archive.org • Wikiwix • Archive.is • Google • Que faire ?)}, sur pps.jussieu.fr (consulté le 4 décembre 2013)
12. (en) « The OCaml system, § 12. Lexer and parser generators (ocamllex, ocamlyacc) », sur caml.inria.fr (consulté le 19 août 2016)

• Portail de la programmation informatique