2.1引 言 ·代数数据类型包括 -一个或多个值集 一组在这些集合上的函数 -基本限制是其函数不能有函数变元 基本“类型”(ype)符号被称为“类别”(sort 泛代数（也叫做等式逻辑）》 -定义和研究代数数据类型的一般数学框架 本章研究泛代数和它在程序设计中定义常用数据 类型时的作用2.1 引 言 • 代数数据类型包括 – 一个或多个值集 – 一组在这些集合上的函数 – 基本限制是其函数不能有函数变元 – 基本“类型”(type)符号被称为“类别” (sort) • 泛代数（也叫做等式逻辑） – 定义和研究代数数据类型的一般数学框架 – 本章研究泛代数和它在程序设计中定义常用数据 类型时的作用