Monad的一种自动生成技术

• 作者: 吕江花 金成植
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: Monad BIND型Monad MAP型Monad 范畴 高阶函数
• 年，卷（期）: 2003,（12）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 1989-1995
• 页数: 7页
• 分类号: TP301
• 字数: 4917字
• 语种: 中文

摘要

Monad程序的核心是一组Monad定义.Monad定义分为MAP型和BIND型.如果在Monad库中已有所需要的Monad定义型,则可以直接使用,而不需要重新构造;否则,需要重新构造.但如果在Monad程序设计环境中增加从一类Monad构造另一类Monad的自动生成器,那么既方便了用户也扩充了1倍原有的Monad库.鉴于这种思想,用支持Monad程序设计的高阶函数语言Haskell实现了一个Monad的自动生成系统.另外,用户构造Monad不仅要花费较多的时间,而且写出的Monad多态函数往往不满足Monad所需满足的几条公理,因此,从这方面也可以看出,从一种类型的Monad自动产生另一种类型的Monad的重要意义.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	金成植	吉林大学计算机科学与技术学院	27	94	4.0	8.0
2	吕江花	吉林大学计算机科学与技术学院	7	22	3.0	4.0