华南理工大学学报(自然科学版)
華南理工大學學報(自然科學版)
화남리공대학학보(자연과학판)
JOURNAL OF SOUTH CHINA UNIVERSITY OF TECHNOLOGY(NATURAL SCIENCE EDITION)
2014年
7期
33-39,73
,共8页
递归%归纳数据类型%初始代数%monad%范畴论%程序语言
遞歸%歸納數據類型%初始代數%monad%範疇論%程序語言
체귀%귀납수거류형%초시대수%monad%범주론%정서어언
recursion%inductive data type%initial algebra%monad%category theory%programming languages
针对归纳数据类型上的递归操作可能包含固定参数且产生计算副作用的问题,结合函数式程序语言中的monads及范畴论中的伴随关系给出monadic 强归纳数据类型的定义及monadic强初始性的证明;在此基础上,进一步提出一种带固定参数且产生计算副作用的递归操作的定义,证明了它比一般的递归具有更好的抽象性和封装性,同时分析了相应的范畴论性质和计算律。
針對歸納數據類型上的遞歸操作可能包含固定參數且產生計算副作用的問題,結閤函數式程序語言中的monads及範疇論中的伴隨關繫給齣monadic 彊歸納數據類型的定義及monadic彊初始性的證明;在此基礎上,進一步提齣一種帶固定參數且產生計算副作用的遞歸操作的定義,證明瞭它比一般的遞歸具有更好的抽象性和封裝性,同時分析瞭相應的範疇論性質和計算律。
침대귀납수거류형상적체귀조작가능포함고정삼수차산생계산부작용적문제,결합함수식정서어언중적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 .