递归数据类型 编辑
在计算机编程语言中，递归类型是一种特殊的数据类型，它表示自身内部可能包含其它的同样类型的值。
1
相关
在函数式编程中，折叠，也称为归约、积累、聚集、压缩或注入，指称一组高阶函数，它们分析递归数据类型数据结构并通过使用给定组合运算，将递归的处理它的构成部件、建造一个返回值的结果重组起来。典型的，要向折叠提供一个组合子程序，一个数据结构的顶端节点，和可能的在特定条件下使用的某些缺省值。折叠接着以系统性方式使用这个函数，进行组合这个数据结构的层级中的元素。