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

时间:2011-02-20 20:36:12

标签: lambda scheme let

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

1 个答案:

答案 0 :(得分:4)

let是根据lambda定义的合成扩展。我认为你不能把它定义为一个函数。看看The Scheme Programming Language

中的示例