catamorphism

的数据结构。折叠递归的分解这个数据结构，在每个节点应用一个组合函数于它的终结值和递归结果之上，用得到这个结果替代它。折叠是catamorphism（英语：catamorphism），而展开是anamorphism（英语：anamorphism）。 折叠可以视为是将数据结构的结构性构件一致性的替代为函

context bug, looks like stage1/rustc builds. Just shy of midnight :)  catamorphism. Mozilla and the Rust community release Rust 0.1 (a strongly-typed systems

a form of corecursion in the same way that a paramorphism (such as a catamorphism, such as fold) is a form of recursion. The Coq proof assistant supports