摘要

随着软件变得越来越复杂,良好的结构变得越来越重要。结构良好的软件易于编写,易于调试,并提供了一组可重复使用的模块,以降低未来的编程成本。传统语言对问题模块化的方式设置了概念限制。函数式语言将这些限制往后推。在本文中,我们表明函数语言的两个特征,特别是高阶函数和惰性求值,可以极大地促进模块化。例如,我们操作列表和树,编程几个数值算法,并实现字母-贝塔启发式(一种用于游戏程序的人工智能算法)。由于模块化是成功编程的关键,函数语言对现实世界至关重要。

收稿日期:1988年11月。
 


*

格拉斯哥大学计算科学系,格拉斯哥G12 8QQ