方案中的 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。

Eg

(let ((x 1))
  body)

可以翻译为

((lambda (x) body) 1)

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

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

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

当你写的时候

(define (f x)
  body)

，你实际上是在说

(define f (lambda (x) body))

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

因此，再次强调，许多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 遵循语言的哲学，即一切都应该看起来像数学函数。但在实践中，如果变量太多，Let 可以更容易地弄清楚发生了什么。想象一下 10 个变量，它们的值在 Lambda 块之后定义，并且您尝试将每个变量与变量名称相匹配，让变量的值放在它们的名称旁边，这对程序员来说很方便，但不太符合函数式编程哲学。

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 形式定义的范围内使用。

它们确实是非常不同的野兽。

一些例子：

(lambda (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

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