使用lambdas解释此方案程序的复杂评估

如果您将lambdas命名为,可能更容易看到发生了什么。例如

(define (f x y)
  (+ (x * y) (x + y)))

(define (g a b)
  (a b b))

然后是表达式 ((lambda (x y) (+ (x * y) (x + y))) (lambda (a b) (a b b)) 3) 成为:

(f g 3)

评估结果如下:

(f g 3)
=> (+ (g * 3) (g + 3))
=> (+ (* 3 3) (+ 3 3))
=> (+ 9 6)
=> 15