Exemples d'application

2. "Démasquage" des textes

La notion d'environnement de définition des textes permet de déclarer de nouveaux textes, sans pour autant perturber l'évaluation d'autres textes utilisant des textes de même nom. A la déclaration d'un texte, les textes présents dans l'environnement des définitions sont masqués :

ils sont donc inutilisables pour les textes extérieurs au texte de définition,
on évite ainsi tout risque de collision entre identificateurs.

Le concept de référence à un texte permet justement de lever cette barrière de visibilité, mais la mention est alors explicite.

On peut tirer de ce fait divers avantages :

Elargir l'emploi de concepts identifiés dans un texte pour un usage plus général – les définitions internes à un texte peuvent être exportées vers un autre texte.
Elargir la notion de définition de texte.
Par exemple :
def varglobal def varA = "A" def varB = "B" def varC = "C"
varglobal est un texte pour lequel on n'a pas particulièrement défini de représentation : ce qui nous intéresse ici n'est pas d'utiliser le texte mais de s'y référer (pas use mais ref).
On peut ainsi réaliser des définitions connexes de textes, même si aucun texte particulier n'a l'usage de la totalité des définitions qu'on a regroupées.
Structurer des déclarations de textes « en profondeur », c'est-à-dire par emboîtement de textes, tout en permettant l'accès aux définitions internes.
Par exemple :
(use varA (ref varglobal (ref modulecommun)))
on nomme le texte varA du texte varglobal du texte modulecommun, ce dernier regroupant par exemple toutes les déclarations globales, dont le texte varglobal.
On peut ainsi assez précisément nommer un texte donné, et s'affranchir au mieux des problèmes d'évaluation erronée de texte due à la présence de plusieurs textes de même nom.