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

• 作者: 余珊珊 李师贤 苏锦钿
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 递归 共递归 hylomorphisms 累积计算 代数 共代数
• 年，卷（期）: 2013,（3）
• 所属期刊栏目: 软件工程
• 页码范围: 602-618
• 页数: 17页
• 分类号: TP311
• 字数: 14715字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李师贤	中山大学信息科学与技术学院	66	914	13.0	29.0
2	余珊珊	中山大学信息科学与技术学院	15	86	5.0	9.0
3	苏锦钿	华南理工大学计算机科学与工程学院	42	209	8.0	13.0