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

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

youdao

我不能算出这道数学问题，请你帮我解决。

I can't work out this math problem. Please help me out.

youdao

我将展示一个更好的解决方案，用来计算出什么时候请求能够完成。

I'll show a better solution to the problem of hoe to figure out when a request is complete shortly.

youdao

Now, we are done because now we can ask how high does it go, and you go back to your y of 1 is 15+10-5, which is what?

现在问题解决了,因为我们可以算出,最高点的高度,你回到这个式子,求出y=15+10-5,是多少

耶鲁公开课 - 基础物理课程节选