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