Eventually we chose the complex algorithm because it is more similar to the behavior of type inference elsewhere in the language.
最终我们选择了复杂算法，因为其更类似于语言中其他地方的类型推断行为。
2
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.
该决策使语言更加一致、使实现更加易于维护以及提供更多机会以便充分利用将来在类型推断中的改进。
3
You saw examples of billing policies and syntax and language and taken a deeper dive into how the rules/inference engine works.