带参数的共递归操作及其计算律

• 作者: 余珊珊 苏锦钿
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 共归纳数据类型 终结共代数 共递归 累积计算 范畴论
• 年，卷（期）: 2013,（12）
• 所属期刊栏目: 计算机科学理论
• 页码范围: 2676-2690
• 页数: 15页
• 分类号: TP301.2
• 字数: 12628字
• 语种: 中文

摘要

针对共归纳数据类型上的unfold无法描述带参数的共递归操作的问题,证明了笛卡儿封闭范畴上的有限扩展多项式函子的终结共代数在固定参数和累积参数下都是强终结的,并利用该强终结性给出强共归纳数据类型的定义以及带固定参数和累积参数的共递归操作——punfold和aunfold,从而将Pardo对强归纳数据类型及带参数的递归计算pfold和afold的研究扩展到共归纳数据类型上,使得unfold可直接包含额外的参数用于作为计算的输入或者保存临时的计算结果,避免采用高阶函数的方式.从范畴论的角度给出punfold和aunfold的各种性质、计算律及在函数式程序语言Haskell中的实现,并指出它们在程序推导、转换和优化中的应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	苏锦钿	华南理工大学计算机科学与工程学院	42	209	8.0	13.0
2	余珊珊	广东药学院医药信息工程学院	5	9	2.0	2.0