计划中的 lambda 有什么意义？

Question

我正在学习计划。我知道如何同时使用 lambda 和 let 表达式。

但是我很难弄清楚使用 lambda 的意义何在。你不能用 let 做所有你可以用 lambda 做的事情吗？

看一个 lambda 表达式比 let 更好的选择的例子会特别有帮助。

另外一件事——在某些情况下 let 比 lambda 更有用吗？如果是这样的话，这样的例子也很好。

编辑：我也对对比 define 和 lambda 感兴趣，因为它们似乎执行类似的任务。

---

更新：

感谢大家的帮助。阅读您的答案后，我对 lambda/let/define 做了更多研究，现在理解得更好了。

我遇到了一个很酷的 lambda 用法的极好例子——从过程中返回匿名函数。例如，下面的过程operateTwice 返回一个匿名函数，该函数基于传入过程的参数：

(define operateTwice
  (lambda (op1 op2)
    (lambda (x y)
      (op2 (op1 x y) y))))

((operateTwice * +) 2 3) ;equivalent to: (+ (* 2 3) 3), or in standard notation 2*3+3

输出：

9

Answer 1

let 是 lambda。

例如

(let ((x 1))
  body)

可以翻译成

((lambda (x) body) 1)

此外，在Scheme中所有控制和环境结构都可以用lambda表达式和lambdas的应用来表示。

所以，lambda 严格来说比let 更强大，并且构成了 Scheme 中许多有趣的构造的基础。

关于define 和lambda，顶级define 添加到顶级环境的绑定。

当你写作时

(define (f x)
  body)

你说的是真的

(define f (lambda (x) body))

嵌套定义被翻译成letrec，也可以使用 lambdas 重写。

所以，同样，很多 Scheme 构造都可以使用lambda 转换成某种东西，因此你理解lambda 真的很值得。

Answer 2

如果您想创建一个函数以将其用作另一个函数的参数（例如map），您可以使用lambda，但您实际上并不想命名该函数。

例如，如果您想为列表中的每个数字添加 42，您可以这样做：

(define (add42 x) (+ x 42))
(map add42 (list 1 2 3 4))

但是，如果您不想为只使用一次的函数命名，您可以这样做：

(map (lambda (x) (+ x 42)) (list 1 2 3 4))

Answer 3

Let 实际上只是 Lambda 表达式的简写。 以下两个表达式是等价的：

(let ((alpha 7)) (* 5 alpha))

((lambda (alpha) (* 5 alpha)) 7)

Lambda 遵循语言的哲学，即一切都应该看起来像一个数学函数。但在实践中，如果变量太多，让我们更容易弄清楚发生了什么。想象一下在 Lambda 块之后定义了其值的 10 个变量，并且您尝试将每个变量与变量名称进行匹配，让变量的值放在它们的名称旁边，这对程序员来说很方便，但不太符合函数式编程哲学。

Lambda 可用于从高阶函数返回函数，但 let 不能这样做。例如：

(define (plus-list x)
  (cond ((number? x)
         (lambda (y) (+ (sum-n x) y)))
        ((list? x)
         (lambda (y) (+ (sum-list x) y)))
        (else (lambda (x) x))
        ))

> ((plus-list 3) 4)
10
> ((plus-list '(1 3 5)) 5)
14
> ((plus-list 'a) 5)
5

Lambda 也可用于将函数传递给函数：

>(map (lambda (x) (+ 1 x)) '(-1 2 -3))
(0 3 -2)

Answer 4

lambda 创建新的匿名函数，当然每次使用它们时都会对其进行评估。

let 为值创建临时名称并设置一次以在 let 表单定义的范围内使用。

他们真的是非常不同的野兽。

一些例子：

(λ (x) (* 5 x))

(让 ([x 2]) (* 5 x)) 10 (让 ([f (lambda (x) (* 5 x))]) (f 2)) 10

第一种形式创建一个乘以 5 的函数

第二种形式将 2 赋给 x 并将其乘以 5 得到 10

第三个我们使用 1 的函数（乘以 5）并使用 2 作为参数调用它，结果也是 10

Answer 5

在 Scheme 中，过程（或函数）是第一类对象，如列表、数字或字符串。要创建列表文字，请使用名为 list 的原语：

> (define marks (list 33 40 56))
> marks
> (33 40 56)

就像这样，要创建一个过程，您可以使用lambda 原语（或特殊形式）：

> (define add-marks (lambda (m) (apply + m)))
> (add-marks marks)
> 129

由于过程是抽象的主要形式，Scheme 为define 提供了一个快捷方式，以便于绑定新过程：

> (define (add-marks m) (apply + m))

除此之外，过程就像所有其他第一类对象一样。它们可以作为参数传递给其他过程，并且一个过程可以评估以产生（或返回）另一个过程。

Answer 6

你可以这样想... 您创建一个使用另一个函数的函数 但是您想让事情变得更加模块化，所以您所做的就是将第二个函数称为第一个函数的参数，这样您就可以在您觉得需要其他功能时更改第二个函数...... 希望这是有道理的