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

Question

作为练习，我试图将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))

没有同样的抱怨：

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

Answer 1

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