Notations

1. Généralités

2. Notations sur les environnements

3. Le cas de Lisp

2. Notations sur les environnements

On introduit des notations particulières pour définir le prolongement d'une fonction d'environnement. Etant donné un environnement env-0 :

• (x:→x):env-0
  est une nouvelle fonction env telle que :
  • env(x) = x
  • env(u) = env-0(u), pour u∈S, u≠x, si env-0 est défini sur u
  • env n'est pas défini sur u, pour u∈S, u≠x, si env-0 n'est pas défini sur u
  Il s'agit donc presque d'un prolongement, l'exception étant le cas où env-0 est déjà défini en x, puisqu'alors on redéfinit la valeur de l'environnement sur le symbole.
• env-1:env-0
  est la généralisation de la notation précédente. On l'interprétera en disant que les déclarations de env-1 masquent les déclarations de env-0 pour des symboles identiques.

Entre autres propriétés, : est associatif :
env-2:(env-1:env-0)
= (env-2:env-1):env-0
= env-2:env-1:env-0 (notation)