Expressions
Un arbre peut être
L'ordre de lecture de l'arbre est le suivant :
L'ordre de lecture de l'arbre est le suivant :
L'ordre de lecture de l'arbre est le suivant :
où nom est l'identificateur de la fonction et arg_1,
, iarg_n sont des expressions et sont appelés les arguments
de la fonction. Cette notation est dite préfixée.
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.
où fonction est d'arité n, dont la valeur
retournée est la valeur de la fonction nom pour les arguments
arg_1,
, 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.