【摘 要】
：
针对归纳数据类型上的递归操作可能包含固定参数且产生计算副作用的问题,结合函数式程序语言中的monads及范畴论中的伴随关系给出monadic强归纳数据类型的定义及monadic强初
【机 构】
：
华南理工大学计算机科学与工程学院,广东药学院医药信息工程学院
【基金项目】
：
国家自然科学基金资助项目（61103038）, 华南理工大学中央高校基本科研业务费专项资金资助项目（2013ZZ0055）
论文部分内容阅读
针对归纳数据类型上的递归操作可能包含固定参数且产生计算副作用的问题,结合函数式程序语言中的monads及范畴论中的伴随关系给出monadic强归纳数据类型的定义及monadic强初始性的证明;在此基础上,进一步提出一种带固定参数且产生计算副作用的递归操作的定义,证明了它比一般的递归具有更好的抽象性和封装性,同时分析了相应的范畴论性质和计算律.
其他文献
推进全民学习、终身学习,建设学习型社会,已成为国家的重大发展战略,是我国全面建成小康社会、实现"中国梦"的重要保障。而构建公共服务平台,服务全民终身学习和学习型社会建
本文论述了英语阅读在英语教学和英语学习中的重要地位,分析了目前大学英语阅读教学的现状与不足, 阐述了多媒体网终技术与英语阅读教学融合的优势和作用,最后提出多媒体网
针对传统最小类内方差分割方法计算量大、效率低、单阈值分割、不能多目标分割的缺点,提出了一种改进的基于最小类内方差的蛇形机器人多阈值分割方法.通过提取整幅图像的感兴趣区域(ROI),有效减小算法搜索的范围和整体计算量;根据直方图的多峰值特点,把ROI区域划分成多个子区域,采用改进的最小类内方差分割法搜索各个局部最优阈值,最终实现蛇形机器人关节组的多阈值分割.实验结果表明,该方法分割效率高,分割效果明
洗衣粉不可滥用市场上出售的洗衣粉，大部分是人工合成的化学洗涤剂，主要成分是烷基苯磺酸钠，简称ＡＢＳ。这是一种有毒的化合物，对人体肝脏有明显的损害作用。用洗衣粉清洗蔬菜、瓜果及
微波炉选用讲安全微波炉进入家庭，成了“马大嫂”的好帮手。但如何选用微波炉呢？选购时查炉门是否有损，查看炉门安装是否稳安，炉门玻璃及金属网不能有凹陷、小孔及任何破损，内壁不
我们这个班级啊,趣事多多,让人喜欢让人愁,不信你看吧。下雪了,又正逢体育课。体育老师意味深长地说：＂同学们,中考已进入倒计时,快复习功课吧!＂老师的话音刚落,我们就迫不及待地
美国总统多奇趣所收礼品颇怪异华盛顿胡佛总统图书馆最近举办的“美国总统怪异礼品展”吸引了大批观众和外国游客，展厅里爆发出的惊讶赞叹和捧腹大笑声，此伏彼起。这次胡佛总统
《圣诞忆旧集》是美国作家卡坡蒂回忆童年往事的短篇故事集。以圣诞节为由头,讲述了被寄养在乡间亲戚家的小男孩巴迪和未婚的老妇人苏柯小姐及小狗奎妮的故事。大萧条时代,因
金龙的娘在生金龙的前一夜梦见一条金龙飞到了她家的院子里，结果第二天孩子就出生了，他娘想起了那个梦，就给他起名为“金龙”。 从小，金龙就觉得自己应该出人头地，不然就对不起他娘给他起的名字。他看不起村里别的娃，觉得他们丢了自己的人，衬不上自己的身份，他更嫌弃自己住的这个贫穷落后的不知名的破村子。从小，他就常常偷跑去隔壁村，听说书人絮叨蒲华城里的好，絮叨无数村里人到城里安家立业，生活富裕。在他心里，只
我国幅员辽阔、人口众多,中华民族有着悠久的历史和灿烂的文化,中国民歌就是中华民族灿烂文化中珍贵的艺术瑰宝,是植根在中华民族文化土壤中的一朵绚丽的艺术奇葩。我国南北