组合子逻辑 组合子逻辑是Moses Schönfinkel和哈斯凱爾加里介入的一种符号系统用来消除数理逻辑中对变量的需要它最近在计算机科学中被用做计算的理论模型和设计函数式编程语言的基础它所基于的组合子是只使用函数应用或早先定义的组合子来定义从它们的参数得出的结果的高阶函数