lambda - 如何将 let* 表达为 lambda 表达式(不是常规的 let)

Question

我有一个与方案相关的问题，我们如何将 let* 实现为 lambda 表达式。更准确地说，我并不是对“常规”let 感到好奇，而是对带有 * 的 let 感到好奇，它让我们可以在另一个 let 表达式中使用一个 let 表达式。

Answer 1

let* 形式是一系列嵌套的 lambda。例如，这个:

(let* ((a 10)
       (b (+ 10 a)))
  (+ a b))

相当于:

((lambda (a)
   ((lambda (b)
      (+ a b))
    (+ 10 a)))
 10)