Monad 的反射性

• 作者: 吕江花 金成植
• 来源期刊: 吉林大学学报(理学版)
• 学科: 工学
• 关键词: 反射 Monad 元层 接续
• 年，卷（期）: 2004,（2）
• 所属期刊栏目: 计算机科学
• 页码范围: 195-199
• 页数: 5页
• 分类号: TP301
• 字数: 3680字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-5489.2004.02.011

摘要

由结构反射的定义引入计算反射的特点和性质, 讨论并证明了Monad的反射性, 同时利用接续语义中的shift和reset操作函数定义了Monad中的反射操作, 并证明了用这种方法定义反射操作满足反射的条件. 基于上述讨论, 可以很容易地构造出具有反射性的Monad程序.

作者信息

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