上次课程小结.pptVIP

上次课程小结 4.4 类型表达式的等价 4.4.1 结构等价与等价的判别 1 结构等价的判别 1 结构等价的判别（续） 2 类型表达式的优化表示 2 类型表达式的优化表示（续1） 2 类型表达式的优化表示（续2） 4.4.2 引入类型名的等价判别 4.4.2 引入类型名的等价判别（续1） 为什么规定采用何种类型等价 为什么规定采用何种类型等价（续） 单态类型检查的一般过程 4.5 多态函数的类型检查 4.5.1 多态函数与类型变量的表示 2 含多态函数语言的文法 2 含多态函数语言的文法（续1） 2 含多态函数语言的文法（续2） 结 束（2005年4月29日）“五一”节快乐！（五一后第一周两次课！） 多态函数的简单回顾 4.5.2 代换、实例与合一 4.5.2 代换、实例与合一（续1） 4.5.2 代换、实例与合一（续2） 最一般的合一 代换算法 代换算法（续） 4.5.3 多态函数的类型检查 4.5.3 多态函数的类型检查（续1） 4.5.3 多态函数的类型检查（续2） 4.5.3 多态函数的类型检查（续3） deref(deref(q))的类型检查 deref(deref(q))的类型检查（续1） deref(deref(q))的类型检查（续2） 有环类型的合一操作 结 束（2005年5月10日） (AG4.1)与(AG4.4) 确定E4.type