In type inference, the compiler infers the types of values based on the context.
在类型推断的情况下，编译器会根据上下文推断值的类型。
That decision makes the language more consistent, makes the implementation more maintainable, and offers more opportunities to take advantage of future improvements in type inference.
该决策使语言更加一致、使实现更加易于维护以及提供更多机会以便充分利用将来在类型推断中的改进。
Eventually we chose the complex algorithm because it is more similar to the behavior of type inference elsewhere in the language.
最终我们选择了复杂算法，因为其更类似于语言中其他地方的类型推断行为。
Type inference is not allowed in cases where the variable is not assigned a value on the same line it is declared.
若是变量的声明和赋值不在同一行书写的话，编译器将不允许我们使用类型推断。
Nevertheless, because of type inference, in many cases no types have to be explicitly specified.
尽管如此，正如类型推论所说，在很多情况下我们不需要显式指定类型。
Haskell does some type inference, meaning it infers the types of elements from syntactic clues in a program, so you'll see me use some functions without declaring associated types.
Haskell会做一些类型推断，这意味着它会根据程序中的语义线索来推断元素的类型，所以您会看到我在使用有些函数时没有声明相关的类型。
It's a prototype that shows the possibilities of type inference in a Ruby-like language, rather than a new language for programmers to use.
这是一个原型，用来展现以一种类ruby语言而不是一种新语言来实现类型推断的可能性。
Code written in these languages require type annotations less often than in Scala, because Scala's type inference algorithm has to support object-oriented typing as well as functional typing.
用这些语言写出的代码需要比Scala更少的类型注解，因为Scala的类型推断算法得同时支持面向对象类型和函数式类型。
Type inference minimizes the need for explicit type information in many contexts.
类型推断使得显式的类型声明信息在大多数场合下减少到了最低。
Expressions in Sitebricks templates are just as concise as JSP, but are statically type-checked using a type-inference algorithm.
Sitebricks模板中的表达式就像JSP那样简洁，但却通过一个类型推断算法进行静态的类型检查。
Type Inference - the var keyword, which is necessary when using anonymous types, can also reduce redundancy in your other variable declarations.
类型推断—使用匿名类型时，关键字var必不可少。它还能减少你其他变量声明中的冗余。
In the overload resolution step, the compiler includes only those generic methods on which type inference succeeded.
在重载解析步骤中，编译器仅包括类型推理取得成功的那些泛型方法。
Type inference on composite keys depends on the names of the properties in the keys, and the order in which they occur.
组合键上的类型推理取决于这些键中属性的名称，以及属性的出现顺序。
It is to be proposed that the first type of mistake is caused in testing by certain principles of inference and the second type is caused in testing by logical errors.
可以认为，第一类错误由检验中的实际推断原理引起，第二类错误由检验中的逻辑谬误引起。
It is to be proposed that the first type of mistake is caused in testing by certain principles of inference and the second type is caused in testing by logical errors.
可以认为，第一类错误由检验中的实际推断原理引起，第二类错误由检验中的逻辑谬误引起。
应用推荐