Diagramme environnemental (informatique) – Wikipedia

Diagramme ambiant (Engl. diagrammes environnementaux ) Servir à illustrer les modèles environnementaux des langages de programmation fonctionnelle tels que LISP ou schéma. En particulier, vous trouverez une utilisation didactique pour illustrer les différences entre la liaison statique et dynamique. Les diagrammes environnementaux sont basés sur le chapitre du livre Le modèle d’environnement de l’évaluation . ^[d’abord]

La structure d’un programme peut être dans des environnements individuels (

) démêler.

• env ₀ Il représente l’environnement initial. Il représente la fonctionnalité de base (fonctions arithmétiques et autres opérateurs, par exemple +, -, =) d’une langue. ₀ est toujours disponible et est implicitement supposé (“Environnement global de l’utilisateur”). Tous les autres environnements sont basés directement ou indirectement sur env ₀ un B.
• env _d’abord est le programme principal ou de support (“Environnement initial utilisateur”). Env _d’abord Contient des déclarations fonctionnelles et variables. Seulement en appelant une fonction ou à travers le laissez-vous ou le laisse * est un environnement “plus élevé” Env ₂ créé.
• env ₂ … env _k sont équivalents à Env1. Un environnement env ₂ Peut déclarer vos propres fonctions (méthodes) ou variables (attributs). Ici aussi, un appel de fonction conduit à un incrément de l’étape environnante.
• Les environnements peuvent être imbriqués (au schéma de lambda, let et définir).

Exemple (schéma) [ Modifier | Modifier le texte source ]]

 ( définir un  d'abord )  ; Env_1: a-> 1  ( définir ( F  X )  ( * X  un ))  ; Env_1: f -> (* x a), a-> 1, x-> 5  ( F  5 )  ; Appel fonctionnel: un nouvel environnement Env_2 est créé  

Les éléments suivants apparaissent dans le diagramme ambiant:

Rectangulaire [ Modifier | Modifier le texte source ]]

Les rectangles représentent un environnement qui contient des couples de liaison.

Rectangles dégoûtés [ Modifier | Modifier le texte source ]]

Les rectangles en pointillés représentent une coque fonctionnelle. Dans la partie supérieure d’un tel rectangle, les paramètres d’une fonction sont écrits entre parenthèses. Dans la partie inférieure, le stermen fonctionnel réel suit. Fonction Sterns peut à son tour appeler d’autres fonctions ou contenir des expressions de location et de location, ce qui crée un nouvel environnement.

Couple circulaire [ Modifier | Modifier le texte source ]]

Les paires circulaires représentent des objets fonctionnels. L’un des cercles des paires de district fait référence à la coque fonctionnelle de l’objet de fonction. Le deuxième cercle pointe vers l’environnement de définition, c’est-à-dire vers l’environnement dans lequel la fonction a été définie (généralement un niveau ambiant inférieur).

Flèches ou bords [ Modifier | Modifier le texte source ]]

Claitements, références de l’objet fonctionnel à l’environnement de définition et à la coque fonctionnelle.

Exemple de diagramme ambiant [ Modifier | Modifier le texte source ]]

L’exemple de code ci-dessus ressemblerait à ceci dans un diagramme ambiant:

Continuation de l’exemple [ Modifier | Modifier le texte source ]]

S’appuyant sur le dernier exemple, il y a une expansion et une réalisation dans le code du schéma:

 ( définir un  d'abord )  ; Env1: a-> 1  ( définir ( F  X )  ( * X  un ))  ; env1: f -> (* x a), a-> 1, x-> 5  (( lambda ( un )  ( si ( <= = un  0 )  d'abord  (( lambda ( un )  ( + ( F  (( lambda ( c )  c )  ( + 2  un )))  ( g  ( + un  d'abord ))))  ( - un  d'abord ))))  ( - et  d'abord ))  

Diagramme environnemental:

(Diagramme environnemental pour les mannequins)

1. Vous avez besoin de la région
   ${displayStyle Env_ {0}}$

   Pas de rectangle, vous êtes donc le premier à être noté “Env0”.

2. Vous notez les fonctions et les liaisons les plus externes dans le premier environnement Env_0.

   De nouveaux environnements sont créés par les constructions suivantes:

   Il convient de noter qu’un nouvel environnement est créé dans chaque évaluation procédurale.

3. Les fonctions sont connectées à l’ancien environnement par 2 cercles comme objet fonctionnel, à l’aide de 3 flèches. La première flèche pointe du paramètre de la fonction (qui est représentée par un espace) au bord du cercle gauche. La deuxième flèche pointe du milieu du cercle gauche au bord de l’environnement fonctionnel (qui n’est pas numéroté avec Env_n). La troisième flèche mène du milieu du cercle droit au bord de l’environnement, dans lequel la fonction a été définie.

1. ↑ Le modèle d’environnement de l’évaluation . ( Mémento des Originaux à partir du 18 janvier 2006 Archives Internet ) Info: Le lien d’archive a été utilisé automatiquement et non encore vérifié. Veuillez vérifier le lien d’origine et d’archiver en fonction des instructions, puis supprimez cette note. @d’abord @ 2 Modèle: webachiv / iabot / mitpress.edu Dans: Abelson et Sussman: Structure et interprétation des programmes informatiques .