In Type Inference

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.

最终我们选择了复杂算法，因为其更类似于语言中其他地方的类型推断行为。