« Caml » : différence entre les versions

Navigation interactive dans l’historique

← Modification précédente Modification suivante →

Contenu supprimé Contenu ajouté

Intégrés

Version du 20 septembre 2011 à 09:51

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é.

Le Caml est développé depuis 1985 par les équipes Formel puis Cristal de l'INRIA et notamment pendant cinq ans par le professeur Guy Cousineau^[1] (Université Paris Diderot). Il existe deux implémentations de Caml :

OCaml est l'implémentation la plus avancée,
Caml Light est une implémentation légère, souvent utilisée dans les milieux pédagogiques.

Le 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. 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.

Consortium

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

Les extensions Caml

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

(en) PolyAML : A Polymorphic Aspect-oriented Functional Programming Language. Extension pour la programmation par aspect.
(en) Aspectual Caml: an Aspect-Oriented Functional Language. Extension pour la programmation par aspect.
(fr) MVC en OCaml.
(en) OCamlDuce : XML et typage.
(en) Meta-ocaml : types et macros.
(en) Ocaml-templates : génération de code à partir des types.
(en) FreshML: Programming with Binders Made Simple
(en) Generic Polymorphism in ML
(fr) O'Jacaré (basé sur camljava) pour lancer un main en Java
(en) Lex/Yacc lexer and parser generators, pour faire de l'analyse lexicale et syntaxique.

Voir aussi

Articles connexes

Haskell

Liens externes

(fr) Site officiel
(fr) Développement d'applications avec Objective Caml, livre O'Reilly en ligne (publié en 2002 mais reste très complet).
(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

Références

↑ Guy Cousineau - AERES - CV, consulté sur www.aeres-evaluation.fr le 15 février 2011

Portail de la programmation informatique

[1] Guy Cousineau - AERES - CV, consulté sur www.aeres-evaluation.fr le 15 février 2011

[1]

@@ Ligne 6 : / Ligne 6 : @@
 * [[Caml Light]] est une implémentation légère, souvent utilisée dans les milieux pédagogiques.
-Le Caml est, dans sa version '''[[Caml Light]]''', enseigné en option informatique dans la plupart des [[Classe préparatoire aux grandes écoles|classes préparatoires aux grandes écoles]], en filière [[Mathématiques, physique et sciences de l'ingénieur|MPSI]] / [[Mathématiques, physique|MP]]. Le style fonctionnel le rend relativement proche des mathématiques, notamment grâce à la [[algorithme récursif|récursivité]], le typage fort rend son usage sûr mais moins souple pour le programmeur. De plus, la particularité des [[ML (langage)|langages ML]], à savoir la [[Filtrage par motif|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 [[Système de gestion d'exceptions|exceptions]], en particulier pour la gestion des erreurs.
+Le Caml est, dans sa version '''[[Caml Light]]''', enseigné en option informatique dans la plupart des [[Classe préparatoire aux grandes écoles|classes préparatoires aux grandes écoles]], en filière [[Classes préparatoires mathématiques, physique et sciences de l'ingénieur|MPSI]] / [[Classes préparatoires mathématiques, physique|MP]]. Le style fonctionnel le rend relativement proche des mathématiques, notamment grâce à la [[algorithme récursif|récursivité]], le typage fort rend son usage sûr mais moins souple pour le programmeur. De plus, la particularité des [[ML (langage)|langages ML]], à savoir la [[Filtrage par motif|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 [[Système de gestion d'exceptions|exceptions]], en particulier pour la gestion des erreurs.
 == Consortium ==