V2EX combinator

Combinator

释义 Definition

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

发音 Pronunciation (IPA)

/kmbnetr/(英式), /kmbnetr/(美式)

例句 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

文学与名著出处 Literary Works

  • Combinatory Logic(Haskell B. Curry & Robert Feys):系统奠定“组合子/组合逻辑”的经典著作,频繁使用 combinatorS/K 等概念。
  • The Lambda Calculus: Its Syntax and Semantics(Henk Barendregt):讨论 λ 演算与组合逻辑的关系,涉及组合子在可表达性与化简中的作用。
  • Structure and Interpretation of Computer Programs(SICP):在高阶函数与抽象的讨论中常出现“组合”思想(在相关章节与术语中会涉及/提及组合子式写法)。
  • The Little Schemer:以递归与函数式思想训练为主,常通过“函数的组合/构造”引出组合子风格的表达(相关用法与术语在函数式语境中可见)。
关于     帮助文档     自助推广系统     博客     API     FAQ     Solana     2772 人在线   最高记录 6679       Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 42ms UTC 01:21 PVG 09:21 LAX 18:21 JFK 21:21
Do have faith in what you're doing.
ubao msn snddm index pchome yahoo rakuten mypaper meadowduck bidyahoo youbao zxmzxm asda bnvcg cvbfg dfscv mmhjk xxddc yybgb zznbn ccubao uaitu acv GXCV ET GDG YH FG BCVB FJFH CBRE CBC GDG ET54 WRWR RWER WREW WRWER RWER SDG EW SF DSFSF fbbs ubao fhd dfg ewr dg df ewwr ewwr et ruyut utut dfg fgd gdfgt etg dfgt dfgd ert4 gd fgg wr 235 wer3 we vsdf sdf gdf ert xcv sdf rwer hfd dfg cvb rwf afb dfh jgh bmn lgh rty gfds cxv xcv xcs vdas fdf fgd cv sdf tert sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf shasha9178 shasha9178 shasha9178 shasha9178 shasha9178 liflif2 liflif2 liflif2 liflif2 liflif2 liblib3 liblib3 liblib3 liblib3 liblib3 zhazha444 zhazha444 zhazha444 zhazha444 zhazha444 dende5 dende denden denden2 denden21 fenfen9 fenf619 fen619 fenfe9 fe619 sdf sdf sdf sdf sdf zhazh90 zhazh0 zhaa50 zha90 zh590 zho zhoz zhozh zhozho zhozho2 lislis lls95 lili95 lils5 liss9 sdf0ty987 sdft876 sdft9876 sdf09876 sd0t9876 sdf0ty98 sdf0976 sdf0ty986 sdf0ty96 sdf0t76 sdf0876 df0ty98 sf0t876 sd0ty76 sdy76 sdf76 sdf0t76 sdf0ty9 sdf0ty98 sdf0ty987 sdf0ty98 sdf6676 sdf876 sd876 sd876 sdf6 sdf6 sdf9876 sdf0t sdf06 sdf0ty9776 sdf0ty9776 sdf0ty76 sdf8876 sdf0t sd6 sdf06 s688876 sd688 sdf86