换一批摘要针对归纳数据类型上的递归操作可能包含固定参数且产生计算副作用的问题，结合函数式程序语言中的monads及范畴论中的伴随关系给出monadic 强归纳数据类型的定义及monadic强初始性的证明；在此基础上，进一步提出一种带固定参数且产生计算副作用的递归操作的定义，证明了它比一般的递归具有更好的抽象性和封装性，同时分析了相应的范畴论性质和计算律。
更多相关知识
关键词
递归归纳数据类型初始代数monad范畴论程序语言recursioninductive data typeinitial algebramonadcategory theoryprogramming languages
分类号
TP301.2
栏目名称
DOI
10.3969/j.issn.1000-565X.2014.07.006
发布时间
2014-11-13（万方平台首次上网日期，不代表论文的发表时间）
基金项目
国家自然科学基金（61103038）
中央高校基本科研业务费专项华南理工大学项目（2013ZZ0055）
- 浏览0
- 被引1
- 下载0
相似文献
- 中文期刊
- 外文期刊
- 学位论文
- 会议论文
