共归纳数据类型上的共递归操作及其计算定律

摘要：

范畴论框架下的共归纳数据类型可以看成是某个共代数函子下的终结共代数中的载体,针对该特点,结合范畴论给出程序语言中共归纳数据类型的共代数描述,并根据终结共代数的终结性给出相应的共递归操作的定义及其共代数计算定律；同时,利用双函子及类型函子对参数化共归纳数据类型进行抽象描述,并结合自然转换给出类型函子上的单元和融合等计算定律,证明这些计算定律可用于简化共递归数据类型上的计算,从而提高程序语言对数据类型的动态行为描述能力.

关键词：范畴论、共归纳数据类型、共递归、终结共代数

所属期刊栏目：39

分类号：TP301.2(计算技术、计算机技术)

资助基金：2010年高等学校博士点学科专项科研基金资助项目20100172120043;华南理工大学中央高校基本科研业务费专项资金资助项目2009ZM0158

在线出版日期：2012-03-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：90-95