关键词: 反射, Monad, 元层, 接续

Abstract: In this paper the definition and quality of computational reflection are given over the definition of structure reflection. However, as a new programming technology and language semantics description method, Monad has received more and more attention of researchers. As a result it is important to investigate the union of Monad and reflection. The reflection quality of Monad is given and proved in this paper, on the basis of which the corresponding operations in reflection are also defined and proved by shift and reset operations of CPS. Based on the discussion in the paper, it is easy to construct a reflective Monad-oriented program.

Key words: reflection, Monad, meta-level, continuation