使用let重写表达式

您的代码以更易读的形式：

(let ((x 10))
  (define y (lambda (x) x))
  (define x 5)
  (+ x (y x)))

您可以应用替换方法：

(+ x (y x)) ; ==>
(+ 5 (y 5)) ; ==>
(+ 5 ((lambda (x) x) 5)) ; ==>
(+ 5 5) ; ==>
10

你弄错了。每个let都可以重写为lambda，立即称为：

(let ((a aexpr) (b bexpr))
  body ...)

; ==

((lambda (a b) body ...) aexpr bexpr)