基于函数式语言和单体的编译教学实验平台研究与实践

作者：宋丽华; 张兴元; 王海涛^*

来源：计算机教育, 2020, (08): 167-170.

DOI：10.16512/j.cnki.jsjjy.2020.08.037

• 编译原理
• 编译实验平台
• 函数式语言
• ML语言
• 单体

为提升编译原理课程在培养学生复杂工程问题求解能力方面的支撑作用,提出一种基于函数式语言和单体编程技术的新型编译实验平台,以ML语言为例简要介绍函数式语言和单体编程技术,通过实例详细分析函数式语言和单体用于编译实验的优势及对课程教学改革的要求,最后介绍编译原理课程改革具体实践并说明实践效果。

• 单位
  中国人民解放军陆军工程大学; 南京审计大学金审学院