程序语言中的共归纳数据类型及其应用

归纳数据类型利用代数方法从构造的角度归纳地描述数据类型的有限语法结构，但在描述动态行为方面存在一定的不足。作为归纳数据类型的范畴对偶概念，共归纳数据类型利用共代数方法从观察的角度共归纳地描述了数据类型的动态行为。首先，从范畴论和代数的角度给出程序语言中的归纳数据类型定义，并分析了相应的递归操作;接着，利用共代数给出共归纳数据类型的范畴论定义，并根据共归纳数据类型的终结性分析了相应的共递归操作;最后，指出如何利用无双代数及分配律将归纳与共归纳数据类型有机地融合起来，探讨数据类型的语法构造与动态行为关系。