Appliquer une fonction f à une valeur x c'est calculer la valeur de
f(x).
Il faut évaluer l'expression constituant le corps de la fonction
dans l'environnement de définition de la fonction augmenté de la liaison où
le paramètre formel est lié à la valeur d'appel (le paramètre effectif).
Soient Fe et Xe deux expressions Caml-Light, la
valeur de l'applicationFe( Xe) dans l'environnement
E est la valeur de la simplification de F(xv) où F est la valeur de
Fe dans E et xv est la valeur de Xe dans E.
Si F=«x:->Ex,Ed», alors F(xv) a la même valeur
que
celle de Ex dans l'environnement
ë(x=xv)<|Edû
On peut donc écrire une règle de simplification d'une application :
Fe -E-> («x:->Ex,Ed»)
Xe -E-> xv
Ex -ë(x=x)<|Edû-> V
Fe( Xe) -E-> V
pour obtenir la valeur d'une application il faut :
évaluer l'expression en position fonctionnelle,
évaluer l'expression en position d'argument,
augmenter l'environnement de définition de la fermeture de la liaison
entre le paramètre formel et le paramètre effectif pour évaluer le corps de la
fermeture.
