Résumé du chapitre 1

Expressions


Différentes notations

Structure arborescente des expressions

Un arbre peut être

Infixée

L'ordre de lecture de l'arbre est le suivant :

Postfixée

L'ordre de lecture de l'arbre est le suivant :

Préfixée (utilisée par SCHEME)

L'ordre de lecture de l'arbre est le suivant :

Expressions du langage SCHEME

  1. atomique
  2. composée : un appel de fonction
    (nom arg_1 tex2html_wrap_inline942 arg_n)
  3. nom est l'identificateur de la fonction et arg_1, tex2html_wrap_inline942 , iarg_n sont des expressions et sont appelés les arguments de la fonction. Cette notation est dite préfixée.

Évaluation

Le mécanisme d'évaluation est primordial en SCHEME. Toute expression SCHEME est évaluée et son évaluation retourne systématiquement une (et une seule) valeur.

  1. une constante :
    L'évaluation d'une constante retourne la constante elle-même.
  2. appel de fonction : (fonction arg_1 tex2html_wrap_inline942 arg_n)
  3. fonction est d'arité n, dont la valeur retournée est la valeur de la fonction nom pour les arguments arg_1, tex2html_wrap_inline942 , arg_n. Les différents arguments sont évalués au préalable dans un ordre non prédéterminé (sauf pour quelques expressions spéciales).

    Le mécanisme d'évaluation d'une expression est le suivant : la demande d'évaluation d'un noeud d'un arbre est transmise à ses fils jusqu'aux feuilles qui sont évaluées. Les valeurs obtenues sont alors transmises au père qui aura lui aussi été évalué et qui lorsque tous ses fils ont ``remonté'' leur valeur peut effectuer le calcul. Il retourne alors sa propre valeur à son père et ainsi de suite jusqu'à la racine qui retourne enfin sa valeur qui est la valeur de l'expression initiale.

       figure143
    Figure: Mécanisme d'évaluation


next up previous
Next: Résumé du chapitre 2Up: No Title Previous: No Title

Eric.Wegrzynowski
Thu Mar 20 13:58:10 MET 1997