上次課程小结.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)