La liaison
-
Définitive : on modifie l'environnement global
let x = 1 ;;
-
évaluation de 1.
- enrichissement de l'environnement global de la liaison de x à 1
E=ë(x=1)<|Eû
-
Temporaire : on créée un nouvel environnement pour évaluer une
expression (portée lexicale) :
let x = 1 in x+1;;
-
évaluation de 1.
- création d'un nouvel environnement contenant la liaison de x à 1
E1=ë(x=1)<|Eû
- évaluation de x+1 dans E1
L'environnement global n'est pas modifié !