9.1引 言 语言L和擦除函数Erse:L→L'的类型推断问 题是： 对给定的表达式UL',找出L的类型化项 IM:t, 使得Erse(M)=U 一般来说，可能有无数多的方式用来将类型信 息插入项 可以给入f入，f(fx)以形式为(x→)→x→的任何 类型9.1 引 言 • 语言L和擦除函数Erase: L → L的类型推断问 题是： 对给定的表达式UL ，找出L的类型化项  M:，使得Erase(M) = U • 一般来说，可能有无数多的方式用来将类型信 息插入项 –可以给f.x.f (f x)以形式为( →) →  →的任何 类型