使用Lambdas对此方案程序进行复杂评估的说明

Question

我想知道以下代码如何评估为15。

((lambda(x y) (+ (x * y) (x + y))) (lambda (a b) (a b b)) 3)

我已经看了一段时间了，似乎不明白为什么评估不会导致错误。有人可以提供有关如何评估15的详细逐步指示吗？

Answer 1

也许如果您命名了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