共归纳数据类型上的共递归操作及其计算定律

被引：9

作者：

苏锦钿 ^{[1
]}

余珊珊 ^{[2
]}

机构：

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

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

来源：

华南理工大学学报(自然科学版) | 2011年 / 39卷 / 10期

基金：

中央高校基本科研业务费专项资金资助;

关键词：

范畴论; 共归纳数据类型; 共递归; 终结共代数;

D O I：

暂无

中图分类号：

TP301.2 [形式语言理论];

学科分类号：

080201 [机械制造及其自动化];

摘要：

范畴论框架下的共归纳数据类型可以看成是某个共代数函子下的终结共代数中的载体,针对该特点,结合范畴论给出程序语言中共归纳数据类型的共代数描述,并根据终结共代数的终结性给出相应的共递归操作的定义及其共代数计算定律;同时,利用双函子及类型函子对参数化共归纳数据类型进行抽象描述,并结合自然转换给出类型函子上的单元和融合等计算定律,证明这些计算定律可用于简化共递归数据类型上的计算,从而提高程序语言对数据类型的动态行为描述能力.

引用

页码：90 / 95

页数：6