一種基于Ｍｏｎａｄ反射語言解釋器的構造
2003-04-29 15:31:05呂江花金成植
吉林大學學報(理學版) 2003年4期
呂江花 金成植
提要：通過定義一個簡單的反射語言，給出了這種反射語言的一種基于Monad的解釋器構造技術，并以Haskell語言實現了這種語言的解釋器。
關鍵詞：計算反射；Monad;元層；函數式語言；形式化
中圖分類號；TP301
文獻標識碼：A
文章編號：1671—5489(2003)04—0487—06
呂江花 金成植
提要：通過定義一個簡單的反射語言，給出了這種反射語言的一種基于Monad的解釋器構造技術，并以Haskell語言實現了這種語言的解釋器。
關鍵詞：計算反射；Monad;元層；函數式語言；形式化
中圖分類號；TP301
文獻標識碼：A
文章編號：1671—5489(2003)04—0487—06
