Schéma Remplacement Modèle

Question

Pour la procédure:

(define (double fn) (lambda (x) (fn (fn x)))) 

Lorsque vous appelez:

(((double (double double)) 1+) 0) 

Est-ce correct:

(double (lambda (x) (double (double x) 1+) 0)) 
     ((lambda (x) (double^4 x) 1+) 0) 
       ((double^4 1+) 0) 
       (16+ 0) 
        16 

Et De même, lors de l'appel:

(((((double double) double) double) 1+) 0) 

Est-ce exact:

(((double double (double double) double) 1+) 0) 
    (double (double (lambda (x) (double (double x) 1+) 0))) 
    (double (lambda (x) (double^4 1+) 0)) 
      ((lambda (x) (double^16 x) 1+) 0) 
         ((double^16 1+) 0) 
           (256+ 0) 
           256 

Answer 1

Je recommande le pas à pas DrRacket. Cela vous permet de montrer une étape à la fois. Cela vous permet même de revenir en arrière.

D'abord, je choisi la langue "HTDP: Avancé avec lambda". Puis je suis entré dans ce programme:

(define (double fn) 
    (lambda (x) (fn (fn x)))) 

(((double (double double)) add1) 0) 

Enfin, je cliqué sur le bouton pas à pas.