在第二个等式中，我很难理解为什么会有一个“ let”？ let（（ident）（expression）（expr0））不会减少为expr0吗？ 在我们的情况下，它会减小为f（f（10）），为什么它会再次出现在第二行？
我们刚开始在我的大学课程中学习函数编程。
yancangchen521 回答：方案的这种适用性缩减中的“让”来自何处？
这似乎带有
的身份(let ((x e)) body)
与
相同((lambda (x) body) e)
，但通过将lambda应用程序转换为let表达式，以相反的方向运行它。我认为这种推导不是很有帮助，但这没错。