ML语言环境下抽象数据类型的构造型说明

用和经典的代数说明法及操作说明法不同的构造型说明法为抽象数据类型提供了一种具体的描述，这种描述可以用函数型语言ＭＬ加以实现。文章介绍了构造型说明法的特点以及关于一个代数系统的类别及操作的语义，以及如何用ＭＬ的函于（ｆｕｎｃｔｏｒ）来完成从输入代数到输出代数的扩充。