如何在 Scheme 中实现 let 作为 lambda 函数答案

【问题标题】：How to implement let as a lambda function in Scheme如何在 Scheme 中实现 let 作为 lambda 函数
【发布时间】：2011-06-30 21:33:17
【问题描述】：

作为一个练习，我试图将 let 定义为 lambda 函数，如下所示：

(define let_as_lambda 
  (lambda (var) 
     (lambda (value body) 
       (var body) val)))

我希望这样称呼它：

((let_as_lambda a) (3 (+ a 2)))

但是，没有办法将未绑定的变量（在本例中为“a”）作为参数传递给函数。（我知道它看起来有点奇怪，但我需要 let_as_lambda(var) 来返回一个函数。）

谁能告诉我如何做到这一点？任何建议表示赞赏。

其实就是用这个等价的 lambda 表达式：

(let ((p1 v1) (p2 v2)...) body) = ((lambda (p1 p2...) body) v1 v2...)

我什至无法让它工作：

(define let_as_lambda 
    (lambda (var val body) 
      ((var body) val)))

调用者：(let_as_lambda a 3 (+ a 2))

没有得到同样的投诉：

在定义之前引用标识符：a

【问题讨论】：

对不起，我不明白你的意思。您已经将 let 定义为函数。变量受参数约束。如果您将((let_as_lambda a) (3 (+ a 2))) 中的顺序更改为((let_as_lambda (a) (+ a 2)) 3)，则let_as_lambda 与lambda 相同。 ...但是，如果您想构建一个解释器，那么您需要环境的概念作为从名称（字符串）到值的映射。但这需要一些额外的工作。
嗨。我会稍微简化一下我的练习。我已经知道： (let ((p1 v1) (p2 v2)...) body) = ((lambda (p1 p2...) body) v1 v2...) 我想把它写成一个新规则，例如： (define let_as_lambda (lambda ...) 任何函数调用都会出现问题，例如： (let_as_lambda a 3 (+ a 2)) 因为 a 在定义之前就被引用了——定义发生在let_as_lambda 的主体。有没有办法将“a”作为未绑定变量传递，或者有其他方法来定义 let_as_lambda？
为简单起见：不，您不能将未绑定的变量作为参数传递给函数。有一些技巧，但可能不是你想要的。

【解决方案1】：

let 是根据lambda 定义的语法扩展。我认为您不能将其定义为函数。看看来自The Scheme Programming Language的例子

【讨论】：