类型推断翻译