Caml

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

Vous avez de nouveaux messages (diff^?).

Cet article fait partie de la série
Langages de programmation

Langages à objets

C++ - C#
Delphi - Eiffel - Java
Groovy - Python - Ruby
Simula - Smalltalk
Visual Basic - WinDev

Langages impératifs

APL - ASP - Assembleur
BASIC - C - Cobol
Forth - Fortran - Logo
Pascal - Limbo - Perl - PHP

Langages fonctionnels

Haskell - ML/OCaml
Lisp/Common Lisp
Scheme
XSLT

Langages déclaratifs

Clips - Prolog

Langages concurrents

Ada 95 - Erlang

Langage de balisage

HTML - SGML - XML
S-expressions

Voir aussi

Conception - Codage
Tests - Optimisations

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.

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

(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