函数式语言编译实现技术的研究

摘要

文章分析了编译实现函数式程序设计语言的主要技术，总结出函数式语言实现方法的两条设计准则：（１）简化函数高用处理的同时，减少瞎迟求值参数所占用存储空间及其占用时间；（２）通过程序变换减少函数程序的特殊语言现象，使其适应冯．偌依曼机的结构特征。文中介绍了几种新的编译技术以及采用这些技术实现的一个函数语言编译系统。