私はこの手順を利用したいと思いラムダ

Question

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

（（（3 F）4）5） `

とステッピング。

Answer 1

は評価：次

(f 3) ;; yields ... 

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

と

(((f 3) 4) 5) 

F =

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

---

スタート、((f 3) 4)に応じて、我々はの結果を適用します次

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

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

4には、 (((f 3) 4) 5)によると、私たちは ((f 3) 4)

5から

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

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

の結果を適用するので、最終的な答えは10