编程语言的类型系统计算机科学导论第三讲.pptVIP

* * * * * * * * * * * * * * * * * * * * * 多 态 类 型 多态函数定义的类型推断 根据函数体中的语句来推断多态函数的类型 deref (p) { //p的类型一无所知，暂定位p : ? return *p // 需要根据?* ? 的类型来计算 } ? 由编程语言知，?* ? : ??. pointer(?) ? ? ? 对*的上述出现，脱掉?，用新类型变量?，得 pointer(?) ? ?，再对? 和pointer(?)进行合一计算 ? 得? = pointer(?) ，即deref : pointer(? ) ? ? ? 再戴上?，得deref : ??. pointer(? ) ? ? 多 态 类 型 多态函数应用(application)的类型检查 检查表达式deref(deref (q )) (相当于**q)的类型， 其中q的类型是pointer(pointer(int)) 需要经过下面两步合一代换, 才能通过类型检查, 并得出结果类型int ? ?i代换成pointer(int) ? ?o代换成int apply : ?o derefo: pointer(?o) ? ?