带有自由变量的函数和闭包之间有什么关系？[已结束]

如果你使用CS的组合器定义，你应该使用CS的闭包定义 - 在CS中，“闭包”不是一个函数，它是一个创建函数的环境，它将一些值绑定到函数的变量。因此，除非您将环境定义为“遗漏”某些值，否则我会说闭包中唯一没有设置值的变量是参数。因此，我不会称它为“对立面”，更像是正交事物。

不同意这一点。闭包 = 功能 + 环境（或“控制部分”和“环境部分”）。因此，组合器是闭包的子集，其中环境为空。

@Tim这取决于您如何解释“Joel Moses 将 Landin 归功于引入术语 closure 来指代其开放绑定（自由变量）已被词法环境关闭（或绑定在）词法环境中的 lambda 表达式，从而导致闭合表达式或闭包”。我的理解是，你拿一个带有自由变量的函数，然后使用环境将值绑定到这些变量中的每一个，使它们成为有界变量。因此，闭包将创建一个具有自由变量的函数外的组合器。

自由变量就是：自由。它们没有任何已知的绑定。闭包包含一个或多个变量，这些变量绑定在非局部但仍已知的作用域中。

简短的回答：“不”。