Combinator

释义 Definition

（名词）组合子：在数学逻辑与函数式编程中，指一种只通过“应用（application）”把更小的表达式组合成更复杂表达式的高阶函数/形式系统构件；经典含义是不含自由变量、可用来表达计算过程的函数（如 S、K、I 组合子）。该词在不同领域也可泛指“用于组合的工具/函数”。

发音 Pronunciation (IPA)

/ˈkɒmbɪneɪtər/（英式）, /ˈkɑːmbəneɪtər/（美式）

例句 Examples

A combinator can build complex behavior from simple functions.
组合子可以用简单函数组合出复杂行为。

Parser combinators let you assemble a readable grammar by chaining small parsing functions, which makes the code easier to test and refactor.
解析器组合子允许你通过串联小的解析函数来组装清晰的语法规则，从而让代码更易测试与重构。

词源 Etymology

Combinator 来自拉丁语 combinare（“结合、合并”），经由英语动词 combine（组合）发展而来，后缀 -ator 表示“做某事的人/物”。在20世纪的逻辑学与计算理论中，它被专门用来指“用于组合表达式、替代变量的形式构件”，并逐渐在函数式编程语境中固定下来。

相关词 Related Words

• Combinatory
• Combination
• Compose
• Composition
• Function
• Higher-Order
• Lambda
• Operator
• Parser

文学与名著出处 Literary Works

• Combinatory Logic（Haskell B. Curry & Robert Feys）：系统奠定“组合子/组合逻辑”的经典著作，频繁使用 combinator 及 S/K 等概念。
• The Lambda Calculus: Its Syntax and Semantics（Henk Barendregt）：讨论 λ 演算与组合逻辑的关系，涉及组合子在可表达性与化简中的作用。
• Structure and Interpretation of Computer Programs（SICP）：在高阶函数与抽象的讨论中常出现“组合”思想（在相关章节与术语中会涉及/提及组合子式写法）。
• The Little Schemer：以递归与函数式思想训练为主，常通过“函数的组合/构造”引出组合子风格的表达（相关用法与术语在函数式语境中可见）。