Type inference:
Type inference refers to the automatic deduction of the data type of an expression in a programming language.
en.wikipedia.org
类型推论:
类型推论或隐含类型，是指编程语言中能够自动推导出值的类型的能力，它是一些强静态类型语言中出现的特性。
zh.wikipedia.org
This article uses material from the Wikipedia articles %@, which are released under the Creative Commons Attribution-Share-Alike License 3.0.
Type inference类型推论