[ afficher >><< masquer ]
SAMPI - Editeur structuré
1. Le Problème et la Proposition
2. Le Langage Primitif de Représentation Textuelle
2.1. Présentation de la Syntaxe Concrète
2.2. Notations
2.3. Exemple de structuration des données
2.4. Exemple de structuration des traitements
2.5. Exemple de structurations connexes
3. Le Langage Complété pour la Structuration des Textes
3.1. Présentation de la Syntaxe Complétée
3.2. Etude quantitative de l'évolution des programmes
3.3. L'édition syntaxique
3.4. étude de cas : le langage LTR3 et l'atelier ENTREPRISE
4. L'Enrichissement du Langage par de Nouveaux Concepts
4.1. Présentation de la Syntaxe Abstraite
4.2. Les difficultés
4.3. Compléter la Syntaxe
5. La Formalisation des Solutions Techniques
5.1. L'évaluation fonctionnelle
5.2. La structuration par les objets
5.3. Modèle sémantique comparé de l'évaluateur
5.3.1. Notations
5.3.2. La fermeture lexicale : le langage Scheme
5.3.22.1. Termes
5.3.22.2. Application
5.3.3. Les Lisps standards : LeLisp
5.3.4. L'évaluation retardées : « Moi aussi »
5.3.5. Lisp parallèle : Symmetric Lisp
5.3.6. Glossaire
5.4. Comparaison critique
5.5. Construction de la Syntaxe Abstraite
6. Les Comparaisons avec d'autres Approches
7. Les Perspectives
8. Les Editeurs
8.0. brisé sur la barrière de la complexité (une fois de plus)
8.1. L'éditeur ligne : Manuel de l'utilisateur
8.2. L'éditeur page : Guide de l'utilisateur
9. Les Aspects d'Implantation
9.1. Contexte d'évaluation
9.2. La Syntaxe Abstraite : Manuel du concepteur
9.3. L'éditeur page : Guide de l'implanteur
Références
Rubrique Perl-Javascript

La fermeture lexicale : le langage Scheme

Références : sur le langage Scheme [AbS 83] [Sch 87].

On présente en premier le langage Scheme parce qu'il répond de la manière la plus satisfaisante à l'interprétation "intuitive" qu'on peut donner d'une λ-expression. La recherche des identificateurs est réalisée statiquement (« lexical scoping ») : ceci facilite beaucoup le travail du compilateur.

1. Termes

2. Application

1. Termes

Symbole

Un symbole retourne sa valeur :

Irep[env-0 x]
= env-0(x) ; si x est défini dans env-0, sinon <erreur>

λ-expression

Une définition de λ-expression retourne la forme Iλ inchangée :

Irep[env-0 (lambda(u) env rep)]
= Iλ[env-0 λu.(env rep)]

Dans cette "forme figée" on conserve l'environnement d'évaluation de la définition (ici : env-0) : celui-ci correspond de fait à l'environnement lexical de définition.

Définition

Une définition évalue son argument :

Ienv[env-0 (def x env rep)]
     env0 = Ienv[env-0 env]
     rep0 = Irep[env0:env-0 rep]
= ( x :→ rep0 )

La valeur est donc calculée à la définition du symbole.
Note : l'interprétation donnée ici à un environnement parallèle (de type define) n'est pas garantie par le « manager ».

Par exemple :

(define x
   (let ((a 3))
      (+ a 2)))
retourne :
( x :→ 5 )
(define x
   (let ((a 3))
      (lambda(u) (+ a u))))
retourne :
( x :→ Iλ[(a:→3):env-0 λu.(+ a u)] )