带固定参数的 Monadic 递归

摘要：

针对归纳数据类型上的递归操作可能包含固定参数且产生计算副作用的问题，结合函数式程序语言中的monads及范畴论中的伴随关系给出monadic 强归纳数据类型的定义及monadic强初始性的证明；在此基础上，进一步提出一种带固定参数且产生计算副作用的递归操作的定义，证明了它比一般的递归具有更好的抽象性和封装性，同时分析了相应的范畴论性质和计算律。

关键词：递归、归纳数据类型、初始代数、monad、范畴论、程序语言

分类号：TP301.2(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61103038；华南理工大学中央高校基本科研业务费专项资金资助项目2013ZZ0055

在线出版日期：2014-11-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：33-39,73