cours  |  td  |  examens  |  doc  |  liens  |  horaires
 Scheme

LE MÉCANISME DE
L'ÉVALUATION

  1. OPÉRATIONS ARITHMÉTIQUES :

    2.
    trace 1

     RÈGLE 1 

    OPÉRATIONS PRIMITIVES :


    POUR ÉVALUER UNE EXPRESSION, IL
    FAUT QUE L'ÉLÉMENT EN TÊTE SOIT
    UNE OPÉRATION:


    1. ON COMMENCE PAR ÉVALUER LES
      ARGUMENTS.


    2. QUAND CETTE ÉVALUATION EST
      TERMINÉE, ON APPLIQUE L'
      OPÉRATION AUX VALEURS OBTENUES.

  2. VARIABLES ET FONCTIONS :

    3. 
(DEFINE X 3)

    CECI CRÉE UNE "LIAISON" ENTRE:
    • UNE VARIABLE "X"
    • UNE VALEUR 3


    liaison x 


    
(DEFINE (DOUBLE X) (* 2 X))
    DÉFINIT UNE "FONCTION:

    X --> (* 2 X)


    --> EN FAIT, CECI DÉFINIT
    ÉGALEMENT UNE "LIAISON" ENTRE:

    • UNE VARIABLE "DOUBLE"
    • UNE "VALEUR FONCTIONNELLE" AVEC
      UN ARGUMENT X, UN CORPS (* 2 X)


    liaison procedure

  3. APPLICATION D'UNE FONCTION :

    4. 
(DEFINE (F X Y) (+ X X Y))

    trace
     RÈGLE 2 

    APPLICATION D'UNE FONCTION :


    POUR ÉVALUER UNE EXPRESSION, IL
    FAUT QUE L'ÉLÉMENT EN TÊTE SOIT
    UNE FONCTION:


    1. ON COMMENCE PAR ÉVALUER LES
      ARGUMENTS.


    2. QUAND CETTE ÉVALUATION EST
      TERMINÉE, ON "APPLIQUE" LA
      FONCTION AUX VALEURS OBTENUES.
    "APPLIQUER":


    1. AJOUTE DANS L'ENVIRONNEMENT
      ENV UN ENVIRONNEMENT TEMPORAIRE
      ENV1 DE LIAISONS:

      liaison arg

    2. ÉVALUE LE CORPS DE LA
      FONCTION DANS CE NOUVEL
      ENVIRONNEMENT
      ENV + ENV1
    "FORMES SPÉCIALES" :
    PRIMITIVES DE SCHEME QUI
    ÉCHAPPENT À LA RÈGLE D'ÉVALUATION
    (N'ÉVALUENT PAS TOUS LEURS
    ARGUMENTS)

    --> DEFINE, LET, IF, COND
cours  |  td  |  examens  |  doc  |  liens  |  horaires
 Scheme