Le contexte d'évaluation

1. Présentation

2. Aplatissement des contextes

1. Présentation

On résume ici la façon dont on construit le contexte d'évaluation d'un texte.

Le contexte est une liste ordonnée d'environnements évalués. Chaque environnement évalué se compose :
- de définitions def,
- de références indéfinies ref,
- de références évaluées rfl.

• Une définition def est invariante par évaluation : sa valeur est la définition elle-même.
  
  
• Une référence indéfinie est une valeur issue :
  • soit d'une référence évaluée pour laquelle on n'a pas trouvé de définition du texte référencé ;
  • soit du fait qu'on est en cours d'évaluation de l'environnement où apparaît cette référence, et que celle-ci n'a pas encore été évaluée.
  On ne réévalue pas une référence indéfinie : elle est retournée identiquement à elle-même.
  
  
• Une référence évaluée rfl est un contexte d'évaluation : c'est la liste des environnements locaux de référence attachés à la référence évaluée rfl et rangés "dans le bon ordre".

Avec la représentation graphique du contexte :

on peut voir sur un exemple de contexte quel est l'ordre de parcours de l'arbre :

ordre d'évaluation :

:[e1 :def
      [e11]
      [e12 :def
            [e121]
            [e122]
            ...
           ...]
      ...]
 [e2]
 ...

syntaxe évaluée