Le calcul symbolique

1. Les liens statiques

2. Vue ascendante : la fermeture lexicale

3. Vue descendante : la fermeture contextuelle

4. Vue mixte

5. Les difficultés

4. Vue mixte

On peut mêler un peu l'un et l'autre des aspects précédents.

En gardant le même exemple, et en se plaçant « dans le voisinage » de txt1 (dans txt2 par exemple), l'utilisation :

use a
   def b = "X"
   ref txt1

fournit l'environnement lexical de définition de a par la référence, mais surcharge le texte b par une nouvelle définition.

On peut ainsi traduire des notions de « haut niveau », comme par exemple :

use schema
   ref ctx1
   ref Rechercher

qui utilise le texte schema :
- en fournissant le « contexte de travail » ctx1,
- et en fournissant le type de traitement appelé Rechercher.