Ｍｏｎａｄ 的 反 射 性

摘要：由結構反射的定義引入計算反射的特點和性質，討論并證明了Monad的反射性，同時利用接續語義中的shift和reset操作函數定義了Monad中的反射操作，并證明了用這種方法定義反射操作滿足反射的條件．基于上述討論，可以很容易地構造出具有反射性的Monad程序．關鍵詞：反射；Monad；元層；接續中圖分類號：TP301

文獻標識碼：A

文章編號：1671—5489(2004)02—0195—05