9.1引 言 例 给出完整类型信息的PCF表达式 D'=der let dbl&(nat-→nat）→nat→nat= 入f:nat→nat.入x:nat.f(fx in dbl(入x:nat.x+2)4 忽略类型信息的PCF表达式 D=der let dbl-=入fx.ffx)in dbl(入x:x+2)4 在多态语言中，类型推断尤其有用，因为多态 项涉及入约束变量的类型、类型抽象和类型作 用9.1 引 言 • 例 –给出完整类型信息的PCF表达式 D = def let dbl: (nat → nat) → nat → nat = f : nat → nat.x: nat. f (f x) in dbl (x: nat. x + 2 ) 4 –忽略类型信息的PCF表达式 D = def let dbl = f.x. f (f x) in dbl (x: x + 2 ) 4 • 在多态语言中，类型推断尤其有用，因为多态 项涉及约束变量的类型、类型抽象和类型作 用