Un sujet qui n'a pas encore été abordé concerne le contexte dans lequel on évalue une référence à un texte. La réponse n'est pas forcément simple. En effet, une référence évaluée enrichit le contexte d'évaluation : faut-il alors évaluer cette référence dans le contexte enrichi, ou faut-il évaluer la référence dans le contexte dans le contexte initial puis enrichir le contexte ?
Référence à évaluer :
![]()
Référence évaluée = nouveau contexte :
![]()
La solution retenue consiste à limiter le nombre de cas acceptables, en garantissant l'ordre d'évaluation.
On évalue donc un environnement :
On a par exemple les étapes suivantes d'évaluation progressive d'un environnement :
| environnement à évaluer : | ![]() |
def as'évalue dans l'environnement : | ![]() |
ref bs'évalue dans l'environnement : | ![]() |
ref cs'évalue dans l'environnement : | ![]() |
ref ds'évalue dans l'environnement : | ![]() |