一种基于Monad反射语言解释器的构造

一种基于Monad反射语言解释器的构造

吕江花, 金成植

吉林大学计算机科学与技术学院, 长春 130012

收稿日期:2003-05-22 修回日期:1900-01-01 出版日期:2003-10-26 发布日期:2003-10-26
通讯作者: 金成植

Construction of a Simple Reflect Language Interpreter Based on Monad

Lü Jiang-hua, JIN Cheng-zhi

College of Computer Science and Technology, Jilin University, Changchun 130012, China

Received:2003-05-22 Revised:1900-01-01 Online:2003-10-26 Published:2003-10-26
Contact: JIN Cheng-zhi

摘要/Abstract

摘要： 通过定义一个简单的反射语言，给出了这种反射语言的一种基于Monad的解释器构造技术, 并以Haskell语言实现了这种语言的解释器。

关键词: 计算反射, Monad, 元层, 函数式语言, 形式化

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

中图分类号:

TP301

吕江花, 金成植. 一种基于Monad反射语言解释器的构造[J]. J4, 2003, 41(04): 487-492.

Lü Jiang-hua, JIN Cheng-zhi. Construction of a Simple Reflect Language Interpreter Based on Monad[J]. J4, 2003, 41(04): 487-492.

[1]	廖星星, 孙胜利, 金钢. 智能实验室物理实体的形式化方法[J]. 吉林大学学报(理学版), 2018, 56(2): 389-394.
[2]	李雅, 黄少滨, 关晓康, 李艳梅, 朱璧如. 基于模型检测的审计方法逻辑正确性验证[J]. 吉林大学学报(理学版), 2017, 55(05): 1261-1268.
[3]	王俊华, 左万利, 赫枫龄, 王英. 本体定义及本体代数[J]. J4, 2010, 48(06): 1001-1007.
[4]	安兴朝,, 房至一,, 丛士佺,. 网络安全中的两种认证协议及安全性分析[J]. J4, 2006, 44(06): 190-194.
[5]	吕江花, 金成植. Monad 的反射性[J]. J4, 2004, 42(02): 195-199.