With type inference, the compiler figures out the types of variables based on constraint solving, rather than making the programmer declare them explicitly.
有了类型推断，编译器可以通过强制解决计算出变量类型，而不是使程序员明确声明它们。
Their theory begins with the observation that decision making under uncertainty often results in erroneous inference, but some errors are more costly in their consequences than others.
他们的理论开始于这样一种观察，即，做决策时往往有"不确定性"，往往产生错误的推论，但有些错误的后果比另一些错误的后果的代价更高昂。
One inference is that Europe was not only worse than America at making IT, but also much worse at using it.
可以推断，欧洲不仅在IT产业的开发上不如美国，在信息技术的使用上更加不如美国。
应用推荐