一种带参数的Hylomorphisms及其计算律

被引：4

作者：

余珊珊 ^{[1
]}

李师贤 ^{[1
]}

苏锦钿 ^{[2
]}

机构：

[1] 中山大学信息科学与技术学院

[2] 华南理工大学计算机科学与工程学院

来源：

计算机研究与发展 | 2013年 / 50卷 / 03期

基金：

高等学校博士学科点专项科研基金;

关键词：

递归; 共递归; hylomorphisms; 累积计算; 代数; 共代数;

D O I：

暂无

中图分类号：

TP311.1 [程序设计];

学科分类号：

081205 [计算机软件];

摘要：

针对函数式程序语言中的一般hylomorphisms无法描述带参数的递归计算的问题,利用完全偏序范畴上的多项式函子分别给出带固定参数和累积参数的hylomorphisms——phylo射和ahylo射,证明了它们在固定参数和累积参数下都是唯一的,从而将Pardo对带参数的递归计算pfold和afold的研究扩展到hylomorphisms中,使得在hylomorphisms中可以直接包含额外的参数用于作为计算的输入或者保存临时的累积计算结果;从范畴论的角度分析了phylo射和ahylo射与其他各种递归及共递归之间的关系及其计算律,并利用函数程序语言Haskell给出相应的实现.

引用

页码：602 / 618

页数：17

共 7 条

[1]

抽象数据类型的双代数结构及其计算 [J].