Description du noyau
Langage CAML

Le langage CAML existe actuellement en deux versions, CAML LIGHT et OBJECTIVE CAML. La version OBJECTIVE CAML est la plus récente, elle comporte certains traits qui n’existent pas dans CAML LIGHT comme les objets et les modules fonctionnels et elle dispose de compilateurs plus performants. Cependant, en ce qui concerne le noyau fonctionnel décrit dans ce paragraphe, les langages sont très proches. La syntaxe utilisée ici est celle d’OBJECTIVE CAML.

Les deux versions comportent à la fois des compilateurs produisant des exécutables à partir de fichiers source et un système interactif. Les exemples qui suivent se présentent exactement comme s’ils avaient été entrés dans le système interactif. Le symbole d’invite (prompt) est le symbole # (dièse). Le texte entré par l’utilisateur se termine conventionnellement par deux points-virgules. La ligne qui suit est la réponse...