本文介绍Clojure中的归约函数与Transducer。归约函数形如(f result input)，可嵌套，reduce默认左折叠。Transducer接收归约函数并返回新归约函数，如(map inc)与+组合可在累加时顺带自增，无需生成中间序列。它将“做什么”与“怎么做”解耦，不依赖具体数据类型，可用于reduce、into、sequence和channel，并可通过comp组合复用，写出更简洁高效的代码。