带固定参数的 Monadic 递归

doi:10.3969/j.issn.1000-565X.2014.07.006

华南理工大学学报（自然科学版） ›› 2014, Vol. 42 ›› Issue (7): 33-39,73.doi: 10.3969/j.issn.1000-565X.2014.07.006

带固定参数的 Monadic 递归

苏锦钿¹ 余珊珊²

1．华南理工大学计算机科学与工程学院，广东广州 510640; 2．广东药学院医药信息工程学院，广东广州 510006

收稿日期:2014-03-14 修回日期:2014-04-09 出版日期:2014-07-25 发布日期:2014-06-01
通信作者: 苏锦钿(1980-)，男，博士，副教授，主要从事形式化方法、形式语义、构件技术、共代数与双代数研究． E-mail:SuJD@scut.edu.cn
作者简介:苏锦钿(1980-)，男，博士，副教授，主要从事形式化方法、形式语义、构件技术、共代数与双代数研究．
基金资助:
国家自然科学基金资助项目(61103038);华南理工大学中央高校基本科研业务费专项资金资助项目(2013ZZ0055)

Monadic Recursions with Fixed Parameters

Su Jin- dian¹ Yu Shan- shan²

1.School of Computer Science and Engineering,South China University of Technology,Guangzhou 510640,Guangdong,China;2.College of Medical Information Engineering,Guangdong Pharmaceutical University,Guangzhou 510006,Guangdong,China

Received:2014-03-14 Revised:2014-04-09 Online:2014-07-25 Published:2014-06-01
Contact: 苏锦钿(1980-)，男，博士，副教授，主要从事形式化方法、形式语义、构件技术、共代数与双代数研究． E-mail:SuJD@scut.edu.cn
About author:苏锦钿(1980-)，男，博士，副教授，主要从事形式化方法、形式语义、构件技术、共代数与双代数研究．
Supported by:
国家自然科学基金资助项目(61103038);华南理工大学中央高校基本科研业务费专项资金资助项目(2013ZZ0055)

摘要/Abstract

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

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

Abstract:

Aiming at the possible fixed parameters and computational side- effects of the recursive operations oninductive data types,the authors define the strong monadic inductive data type and presents proofs of strong monadicinitiality by combining the notions of monads in functional programming languages with the adjoint in the categorytheory.Furthermore,we propose a kind of recursion with fixed parameters and computational side- effects.It isproved 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.

Key words: recursion, inductive data type, initial algebra, monad, category theory, programming languages

中图分类号:

TP301.2

苏锦钿余珊珊. 带固定参数的 Monadic 递归[J]. 华南理工大学学报（自然科学版）, 2014, 42(7): 33-39,73.

Su Jin- dian Yu Shan- shan. Monadic Recursions with Fixed Parameters[J]. Journal of South China University of Technology (Natural Science Edition), 2014, 42(7): 33-39,73.

[1]	张铁, 康中强, 邹焱飚, 等. 用于残余振动抑制的深度神经网络输入整形器[J]. 华南理工大学学报(自然科学版), 2021, 49(8): 103-112.
[2]	柴博森项玥马文星王志豪魏亚宵李振男. 液力偶合器漩涡流场 PIV 试验测量影响因素分析[J]. 华南理工大学学报（自然科学版）, 2017, 45(12): 92-98.
[3]	苏锦钿余珊珊. 强共归纳数据类型上的 Comonadic 共递归[J]. 华南理工大学学报（自然科学版）, 2014, 42(1): 128-134.
[4]	李子龙刘伟铭张阳. 基于自适应模糊估计的背景建模方法[J]. 华南理工大学学报（自然科学版）, 2013, 41(9): 77-81.
[5]	苏锦钿余珊珊. 广义共迭代及其计算律[J]. 华南理工大学学报(自然科学版), 2012, 40(9): 62-68.
[6]	苏锦钿余珊珊. 抽象数据类型的双代数结构[J]. 华南理工大学学报（自然科学版）, 2011, 39(12): 44-50.
[7]	苏锦钿余珊珊. 共归纳数据类型上的共递归操作及其计算定律[J]. 华南理工大学学报（自然科学版）, 2011, 39(10): 90-95.
[8]	余伟罗飞杨红许玉格. 基于多神经网络的污水氨氮预测模型[J]. 华南理工大学学报（自然科学版）, 2010, 38(12): 79-83.

带固定参数的 Monadic 递归

Monadic Recursions with Fixed Parameters

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 8

编辑推荐

Metrics

本文评价