针对计算机专业基础理论课程教学手段相对陈旧、理论与实践教学存在明显断点的现实状况,分析基于函数式编程的基础理论教学优势,提出引入函数式编程作为验证实验环境、围绕函数式程序代码进行理论讲解的改革方案。基于这一思路介绍对离散数学和编译原理2门课程的系统性改造,最后说明实践效果。