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

被引：2

作者：

吕江花

金成植

机构：

[1] 吉林大学计算机科学与技术学院

[2] 吉林大学计算机科学与技术学院长春

[3] 长春

来源：

吉林大学学报(理学版) | 2003年 / 04期

关键词：

计算反射; Monad; 元层; 函数式语言; 形式化;

D O I：

10.13413/j.cnki.jdxblxb.2003.04.015

中图分类号：

TP311.1 [程序设计];

学科分类号：

081202 ; 0835 ;

摘要：

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

引用

收藏

页码：487 / 492

页数：6

相关论文

共 2 条

[1]

ComputationalLambda-calculus andMonads .2 MoggiE. Proceedings of theFourthAnnualSymposium onLogic inComputerScience . 1989

[2]

RepresentingMonads .2 FilinskiA. POPL’’94:21ST ACM Sigplan-sigactSymposiumonPrinciples ofProgrammingLanguages . 1994