函数式语言的集合描述方法及其实现算法*

本文介绍函数式语言提供的集合描述方法以及实现集合的一种程序变换优化算法．集合的引入改善了函数式程序的表达能力，并且为提高程序执行效率创造了条件．