共递归 共递归在计算机科学重视一类操作与递归在范畴论上对偶因而递归是分析地工作把数据分解为更小的数据直至达到基本情况共递归是合成地工作从基本情况构造出数据共递归的数据是自己一点一点构造出来的一个类似但不同的概念是生成式递归generative recursion 共递归常与惰性求值配合产生一个潜在无穷结构的有限子集 已隱藏部分未翻譯内容歡迎參與翻譯