Functional programming “在哪里？”；让我们；在这个应用减少方案中来自哪里？

在第二个等式中，我很难理解为什么会有“let”？ let（（ident）（表达式）（expr0））不是会减少到expr0吗？ 在我们的例子中，它会减少到f（f（10）），那么为什么它会再次出现在第二行呢

---

我们刚开始在大学课堂上学习函数编程

这似乎是以

(let ((x e)) body)

与

((lambda (x) body) e)

但是，通过将lambda应用程序转换为

let

表达式，以相反的方向运行它。我不觉得这个推导很有帮助，但它没有错