Les Problèmes posés :
(P1) | on veut définir des textes « avec trous », c'est-à-dire des textes incomplets dont on remplit les « trous » par d'autres textes. |
(P2) | on veut pouvoir mettre en commun un texte entre plusieurs « utilisateurs », c'est-à-dire remplir plusieurs « trous » par le même texte. |
(P3) | on veut pouvoir manipuler un « texte troué » de la même façon qu'un « texte complet ». |
(P4) | on veut pouvoir définir des définitions connexes de textes, qui pourront partager ou mettre en commun des services ou propriétés. |
Les Réponses apportées :
(R1) | NOMMER les textes. |
(R2) | EVALUER les textes. |
(R3) | se REFERER à un texte, c'est-à-dire évaluer l'environnement de définition du texte nommé, et "recueillir" cet environnement dans un contexte d'évaluation. |
Les Garanties à l'évaluation des textes :
(G1) | un lien symbolique d'un texte qui définit, dans son environnement de définition, ce symbole, est un lien statique. |
(G2) | l'évaluation d'un texte est identique : |
(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. |