组合子逻辑是Moses Schönfinkel和哈斯凯尔·加里介入的一种符号系统，用来消除数理逻辑中对变量的需要。它最近在计算机科学中被用做计算的理论模型和设计函数式编程语言的基础。它所基于的组合子是只使用函数应用或早先定义的组合子来定义从它们的参数得出的结果的高阶函数。
在函数式编程中，折叠，也称为归约、积累、聚集、压缩或注入，指称一组高阶函数，它们分析递归数据类型数据结构并通过使用给定组合运算，将递归的处理它的构成部件、建造一个返回值的结果重组起来。典型的，要向折叠提供一个组合子程序，一个数据结构的顶端节点，和可能的在特定条件下使用的某些缺省值。折叠接着以系统性方式使用这个函数，进行组合这个数据结构的层级中的元素。
高阶逻辑区别于一阶逻辑的其他方式是在构造中允许下层的类型论。高阶谓词是接受其他谓词作为参数的谓词。一般的，阶为n的高阶谓词接受一个或多个阶的谓词作为参数，这里的n > 1。对高阶函数类似的评述也成立。
组合子逻辑是Moses Schönfinkel和哈斯凯尔·加里介入的一种符号系统，用来消除数理逻辑中对变量的需要。它最近在计算机科学中被用做计算的理论模型和设计函数式编程语言的基础。它所基于的组合子是只使用函数应用或早先定义的组合子来定义从它们的参数得出的结果的高阶函数。
在函数式编程中，过滤器是一个高阶函数，它按某种次序处理一个数据结构，来产一个新的数据结构，它精确的包含最初数据结构中给定谓词对其返回布尔值true的那些元素。
在程序设计中 语法分析组合子 是一个 高阶函数 ，它接受几个的语法分析器作为输入，并返回一个新的语法分析函器作为其输出。 在这个上下文中， 语法分析器 是一个函数，它接受字符串作为输入，返回的一些结构作为输出，通常为 分析树 或一组索引表示在字符串中成功停止分析的位置。 分析器组合子使用 递归下降分析 战略，提倡模块式建造和测试。 这种分析技术是所谓的 组合分析。
秩，是对非面向阵列的标量编程语言中控制流程的广义化。它还是Lisp语言中的mapcar，及现代函数式编程语言中的Map高阶函数的广泛化，以及对APL\360中标量扩展、矩阵的内积和外积的广泛化。秩的正规实现，是在J语言语言中，但也可获得于APL语言语言实现如Dyalog APL、国际标准化组织标准ISO/IEC 13751:2001的扩展APL和NARS2000。
不动点组合子是计算其他函数的一个不动点的高阶函数。
Mini wiki
