Abstract: In this paper a simple reflect language is first defined on the basis of which its interpreter based on Monad is designed. At last the language is implemented in Haskell, a high order function language.

Key words: computational reflect, Monad, metalevel, functional language, formalization