Lambda演算和组合逻辑是否相同？

我目前正在阅读Hindley和Seldin撰写的“ Lambda微积分和组合器 ”。我不是专家，但是由于参与函数式编程（从Lisp和SICP​​开始，现在到R和Haskell），所以一直对lambda微积分感兴趣。

在“ 二进制演算和组合逻辑”，约翰·特朗普说：

CL可以看作是Lambda演算的子集...理论在很大程度上是相同的，在存在可扩展性规则的情况下变得等效。

在什么条件下，人们会使用组合逻辑而不是lambda微积分？

任何参考将不胜感激。

组合逻辑的区别在于它是无变量的。这有时在变数状态棘手的元数学和哲学逻辑中很有用。

它在实现中也可能有用，因为管理变量可能很麻烦。参见，例如，休斯（Hughes），1982，超级组合：适用语言的新实现方法

参考John Tromp的评论，我想指出组合逻辑与lambda微积分有很大的不同。由于您的兴趣来自函数式编程，因此您真的不想对组合逻辑了解太多。

我最喜欢的组合逻辑教程是在剑桥大学的这些讲义中。

但是，介绍它们是为了解释所谓的惰性（或应用性）语言的实现；正如我之前的评论中提到的那样，这种技术现在已经过时了。