数据类型检查基础知识.pptVIP

* * * * * * * * 实际上，int转换为float也可能会丢失精度 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * June 5, 2000 多态函数（14） 检查多态函数的翻译方案： E→E1(E2) { p := mkleaf(newtypevar); unify( E1.type, mknode(‘→’, E2.type, p); E.type := p } E→E1 , E2 { E.type := mknode( ‘×’ , E1.type , E2.type ) } E→id { E.type := fresh( id.type ) } 函数作用E→E1(E2)的类型检查：如果E1.type=α且E2.type=β，则α必须是函数，并使得某个未知类型r满足α=β→r 自下而上确定类型的总结： 表达式 ：类型 代换 q ：pointer(pointer(integer)) derefi ：pointer(αi) → αi derefi(q) ：pointer(integer) αi = pointer(integer) derefo ：pointe