方案替代模式

Question

有关步骤：

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

当调用：

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

这是正确的：

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

同样，当调用：

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

这是正确的：

(((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

我会建议在DrRacket步进。它允许您一次显示一个步骤。它甚至可以让你回去。

首先，我选择了语言 “HTDP：先进与拉姆达”。 后来我进入了这个程序：

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

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

最后我点击步进按钮。