有了类型推断，编译器可以通过强制解决计算出变量类型，而不是使程序员明确声明它们。

With type inference, the compiler figures out the types of variables based on constraint solving, rather than making the programmer declare them explicitly.

youdao

有了类型推断，编译器可以通过强制解决计算出变量类型，而不是使程序员明确声明它们。

With type inference, the compiler figures out the types of variables based on constraint solving, rather than making the programmer declare them explicitly.

youdao