第2章 泛代数和代数数据类型 函数式程序设计语言PCF由三部分组成 代数数据类型：自然数类型和布尔类型 带函数和积等类型的纯类型化入演算 一不动点算子 第2章到第4章对这三部分进行透彻的研究 本章研究像自然数类型和布尔类型这样的代 数数据类型第2章 泛代数和代数数据类型 • 函数式程序设计语言PCF由三部分组成 – 代数数据类型：自然数类型和布尔类型 – 带函数和积等类型的纯类型化演算 – 不动点算子 • 第2章到第4章对这三部分进行透彻的研究 • 本章研究像自然数类型和布尔类型这样的代 数数据类型