nval
identificateur = expression;
nExample: val X = 7
n Notez que “=“
n’est pas un symbole d’affectation mais plutot un
symbole d’attachement: “X = 8” retournerait
“false”.
nDe plus, une fois qu’une valeur est attachee a X, on ne peut plus en attacher d’autre, a moins que l’on change d’environement en utilisant la construction:
–let val
nom_d_environement = expression_1
in expression_2 end