广义共迭代及其计算律

摘要：

针对函数式编程中的共归纳数据类型上的各种共递归操作缺乏统一描述的问题,利用Monads及其与共代数函子之间的分配律给出了共归纳数据类型上的一种广义共迭代定义——gunfold,证明了gunfold可以为共迭代、原始共递归和Course-of-Value共迭代提供一种统一和抽象的描述.在此基础上进一步从范畴论的角度分析了gunfold上的各种性质和计算律.

关键词：函数式编程、共归纳数据类型、终结共代数、共递归、Monads、范畴论

所属期刊栏目：40

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

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

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

页数：共7页

页码：62-68