Type inference minimizes the need for explicit type information in many contexts.

类型推断使得显式的类型声明信息在大多数场合下减少到了最低。