2. Vue ascendante : la fermeture lexicale
3. Vue descendante : la fermeture contextuelle
4. Vue mixte
A l'inverse, on peut vouloir accéder à une définition par un chemin "oblique". Un tel accès n'est alors intéressant que si l'on introduit dans les textes des variables libres, c'est-à-dire des liens symboliques vers des définitions de texte qui ne sont pas directement visibles. On a alors :
(G3) | dans un contexte voisin d'un texte, toutes les variables restées libres à ce niveau sont libres vis-à-vis de l'évaluation ; inversement toutes les variables déjà liées restent liées à la même valeur. |
Par exemple, on évalue le texte a, dont la valeur de représentation est :
(use u) ":" (use b) ":" (use txt1)
Relativement à a, u est statiquement lié : l'évaluation fournira toujours la valeur de u définie dans a.
En revanche, b est libre dans a :
c, voisin de a et b (c'est-à-dire défini dans le même environnement des définitions), le texte b peut être surchargé par une définition qui fournira la valeur du lien symbolique (use b) ;txt1, ou tout autre texte de son voisinage, b est lié à a, et la valeur ne sera pas modifiée.Il en serait de même pour txt1, libre dans a, libre dans txt1, mais lié dans un texte englobant glo.