摘要

函数程序设计对减少大型软件系统开发的开销有着较大的潜力。本文讨论了函数程序设计在软件工程中的作用和地位,论述了函数语言作为规范原型工具的合适性,最后用一个例子展示了用函数语言建立系统原型的过程。