广义共迭代及其计算律  

Generalised Coiteration and Its Calculation Laws

作　　者：苏锦钿[1] 余珊珊[2] 

机构地区：[1]华南理工大学计算机科学与工程学院,广东广州510006 [2]中山大学信息科学与技术学院,广东广州510275

出　　处：《华南理工大学学报（自然科学版）》2012年第9期62-68,共7页Journal of South China University of Technology(Natural Science Edition)

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

摘　　要：针对函数式编程中的共归纳数据类型上的各种共递归操作缺乏统一描述的问题,利用Monads及其与共代数函子之间的分配律给出了共归纳数据类型上的一种广义共迭代定义——gunfold,证明了gunfold可以为共迭代、原始共递归和Course-of-Value共迭代提供一种统一和抽象的描述.在此基础上进一步从范畴论的角度分析了gunfold上的各种性质和计算律.Due to a lack of general descriptions of various corecursion operations defined on coinductive data types in functional programming, gunfold, a definition of generalised coiteration for coinductive data types, is proposed based on Monads and its distributive laws on coalgebraic functors. It is proved that gunfold can offer a general and abstract description of the coiteration, the primitive corecursion and the course-of-value eoiteration. Based on the proof, the properties and the relevant calculation laws for gunfold are analyzed from the viewpoint of the category theory.

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

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]