踩着lambda

Question

(define (f y) (lambda (y) (lambda (y) (+ y 5))))

<（>（（（3）4）5）`

我想采取这个步骤。

Answer 1

评估：

(((f 3) 4) 5)

其中f =

(define (f y) (lambda (y) (lambda (y) (+ y 5))))

从(f 3)

开始

(f 3) ;; yields ...

(lambda (y)
  (lambda (y)
    (+ y 5)))

接下来，根据((f 3) 4)，我们将(f 3)的结果应用于4

((lambda (y)
   (lambda (y)
     (+ y 5))) 4) ;; yields

((lambda (y)
       (lambda (y)
         (+ y 5))) 4)

接下来，根据(((f 3) 4) 5)，我们将((f 3) 4)的结果应用于5

((lambda (y)
   (+ y 5)) 5) ;; yields ...

((lambda (y)
   (+ y 5 5)) 5)

所以最终答案是(+ 5 5)，即10