9.1引 言 类型推断和类型检查 类型检查看成是用语法制导的方式，根据上下文有 关的定型条件判定项是否为良类型的项的过程 TD入x:x.M:G 把对带无类型入的定型判定问题叫做类型推断 TD入x.M:o9.1 引 言 • 类型推断和类型检查 – 类型检查看成是用语法制导的方式，根据上下文有 关的定型条件判定项是否为良类型的项的过程  x:.M :  –把对带无类型的定型判定问题叫做类型推断  x.M : 