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

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