Common Lisp中(let)与(lambda)是否等价？函数式编程场景探讨

这两个group函数的写法完全等价，而且用let的版本也完全符合纯函数式编程风格——你的担心是多余的。

核心逻辑：let本质就是lambda的语法糖 #

在Lisp里，let表达式根本就是匿名函数调用的语法糖。比如：

(let ((back (nthcdr n src)))
  ...)

完全等价于：

(funcall #'(lambda (back)
            ...)
         (nthcdr n src))

两者的语义没有任何区别，都是把(nthcdr n src)的结果绑定到符号back，然后在后续代码中使用这个值——整个过程没有任何副作用，也没有修改任何外部状态或输入参数。

函数式编程的核心不是“不能用变量绑定” #

Paul Graham说的“函数式程序通过返回值而非执行副作用来运作”，核心是程序的行为完全由返回值决定，不依赖对外部状态的修改，也不会产生除返回值之外的可观察影响。

用let绑定中间结果，只是给一个纯计算的结果起了个名字，既没有修改这个值（Lisp里let绑定的变量默认是不可变的，除非你刻意用setq修改，而你的例子里完全没有），也没有产生任何副作用——这和用lambda捕获结果是同一个逻辑，只是写法更简洁易读而已。

看你的两个group实现 #

第一个用lambda的版本是纯函数式，第二个用let的版本同样是纯函数式：

• 两个版本都没有修改输入的src、n、acc参数；
• 所有操作都是基于返回值的递归调用，没有任何全局状态的变更；
• 最终结果完全由输入参数决定，符合引用透明的要求（相同输入一定会得到相同输出）。

反而在实际的函数式Lisp代码里，let是更常用的写法，因为它的可读性比嵌套的lambda+funcall更好。

内容的提问来源于stack exchange，提问作者myselfesteem