3. Les valeurs d'environnement
A ce stade, on a défini des "objets", qui peuvent se décomposer en couches hiérarchiques, mais qui ne présentent qu'une seule propriété : l'évaluation du texte.
L'exemple précédent se présente comme suit :
L'« utilisateur » ne peut accéder qu'aux symboles txt1, txt2 ou txt3 ; dans txt1, on n'accède qu'à a ou b ; dans a, on n'accède qu'à u ou v ; ... Il manque donc, pour réellement structurer les textes, la notion de module :
(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. |
Au lieu d'introduire un nouveau type de lien, on introduit un nouveau type d'évaluation :
(R3) | se REFERER à un texte, c'est évaluer l'environnement de définition du texte nommé, et "recueillir" cet environnement dans un contexte d'évaluation. |
L'évaluation ne porte pas ici sur la valeur de représentation du texte mais sur sa valeur d'environnement. Le résultat ne peut donc pas être utilisé en tant que forme évaluée d'un lien symbolique mais plutôt comme complément au contexte d'évaluation de ce lien symbolique.
Par exemple :
use a ref txt1
correspond à EVALUER le lien symbolique "a" en se REFERANT (symboliquement) à "txt1", ce qui revient ici à évaluer le texte de nom a défini dans txt1.