Stepping mit Lambda

Question

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

(((f 3) 4) 5) `

Ich möchte die Schritte dieses zu übernehmen.

Answer 1

bewerten:

(((f 3) 4) 5) 

Wo f =

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

---

beginnen mit

(f 3) ;; yields ... 

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

nächstes nach ((f 3) 4) wir das Ergebnis vongeltenzu 4

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

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

nächstes nach (((f 3) 4) 5), wenden wir das Ergebnis von ((f 3) 4) zu 5

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

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

So ist die endgültige Antwort ist (+ 5 5), die 10