Les fonctions
Les fonctions sont des valeurs Caml-Light que l'on nomme des fermetures.
En Caml-Light elles sont caractérisées par :
-
un nom de variable, c'est le paramètre formel (nom),
-
une expression définissant la valeur de la fonction en tout point que
l'on nomme le corps de la fonction (corps),
- un environnement de définition de la fonction (Env) :
On les note : «nom:->corps,Env»
On notera souvent
-
les expressions en lettres calligraphiques ( E) ou sous
forme de pseudo code (expr)
- les valeurs ou les environnements en notation mathématique
(V ou E)