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

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