Monad的反射性

被引：3

作者：

吕江花

金成植

机构：

[1] 吉林大学计算机科学与技术学院

[2] 吉林大学计算机科学与技术学院长春

[3] 长春

来源：

关键词：

反射; Monad; 元层; 接续;

D O I：

10.13413/j.cnki.jdxblxb.2004.02.011

中图分类号：

TP312 [程序语言、算法语言];

学科分类号：

081202 ; 0835 ;

摘要：

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

引用

页码：195 / 199

页数：5