带固定参数的Monadic递归  

Monadic Recursions with Fixed Parameters

作　　者：苏锦钿[1] 余珊珊[2] 

机构地区：[1]华南理工大学计算机科学与工程学院,广东广州510640 [2]广东药学院医药信息工程学院,广东广州510006

出　　处：《华南理工大学学报（自然科学版）》2014年第7期33-39,73,共8页Journal of South China University of Technology(Natural Science Edition)

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

摘　　要：针对归纳数据类型上的递归操作可能包含固定参数且产生计算副作用的问题,结合函数式程序语言中的monads及范畴论中的伴随关系给出monadic强归纳数据类型的定义及monadic强初始性的证明;在此基础上,进一步提出一种带固定参数且产生计算副作用的递归操作的定义,证明了它比一般的递归具有更好的抽象性和封装性,同时分析了相应的范畴论性质和计算律.Aiming at the possible fixed parameters and computational side-effects of the recursive operations on inductive data types , the authors define the strong monadic inductive data type and presents proofs of strong monadic initiality by combining the notions of monads in functional programming languages with the adjoint in the category theory.Furthermore, we propose a kind of recursion with fixed parameters and computational side-effects.It is proved that this kind of recursion can provide better abstraction and encapsulation in comparison with normal recur -sions.Meanwhile, we discuss the corresponding categorical properties and calculation laws .

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

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]