第9章 类型推断 类型推断是把无类型的或“部分类型化的”项 变换成良类型项的一般问题 它通过推导未给出的类型信息来完成这个变换 类型推断兼有两方面的优点 编译时完成类型检查 不需要程序中过分的类型信息第9章 类型推断 • 类型推断是把无类型的或“部分类型化的”项 变换成良类型项的一般问题 • 它通过推导未给出的类型信息来完成这个变换 • 类型推断兼有两方面的优点 –编译时完成类型检查 –不需要程序中过分的类型信息