Les Lisps standards : LeLisp

Références : sur le langage LeLisp [Manuel LeLisp V15.2], sur le langage Interlisp [TeM 81], sur le langage Common Lisp, qui mêle la fermeture lexicale et la liaison dynamique [Tou 88].

Dans un Lisp standard, l'évaluateur empile les environnements d'évaluation : la recherche d'un identificateur – un symbole – est alors dynamique (« dynamic scoping »). Ceci a deux conséquences importantes :

• la première, néfaste : on a des « effets de bord imprévisibles » par le masquage "sauvage" d'une variable lors d'une redéfinition du symbole ;
• la seconde, essentielle : on a la notion de variable libre, qui nécessairement a disparu en Scheme. On peut donc réaliser des modèles génériques de fonctions, instanciées dynamiquement par des paramètres effectifs transparents.

1. Termes

2. Application