| 带固定参数的Monadic递归 |
| |
| 引用本文： | 苏锦钿,余珊珊. 带固定参数的Monadic递归[J]. 华南理工大学学报(自然科学版), 2014, 0(7): 33-39,73 |
| |
| 作者姓名： | 苏锦钿 余珊珊 |
| |
| 作者单位： | 1. 华南理工大学计算机科学与工程学院,广东广州,510640
2. 广东药学院医药信息工程学院,广东广州,510006 |
| |
| 基金项目： | 国家自然科学基金资助项目(61103038)；华南理工大学中央高校基本科研业务费专项资金资助项目 |
| |
| 摘 要： | 针对归纳数据类型上的递归操作可能包含固定参数且产生计算副作用的问题,结合函数式程序语言中的monads及范畴论中的伴随关系给出monadic强归纳数据类型的定义及monadic强初始性的证明;在此基础上,进一步提出一种带固定参数且产生计算副作用的递归操作的定义,证明了它比一般的递归具有更好的抽象性和封装性,同时分析了相应的范畴论性质和计算律.
|
| 关 键 词： | 递归 归纳数据类型 初始代数 monad 范畴论 程序语言 |
Monadic Recursions with Fixed Parameters |
| |
| Su Jin-dian,Yu Shan-shan. Monadic Recursions with Fixed Parameters[J]. Journal of South China University of Technology(Natural Science Edition), 2014, 0(7): 33-39,73 |
| |
| Authors: | Su Jin-dian Yu Shan-shan |
| |
| Affiliation: | Su Jin-dian;Yu Shan-shan;School of Computer Science and Engineering,South China University of Technology;College of Medical Information Engineering,Guangdong Pharmaceutical University; |
| |
| Abstract: | |
| |
| Keywords: | recursion inductive data type initial algebra monad category theory programming languages |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
