type inference algorithm

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的类型推断算法得同时支持面向对象类型和函数式类型。

Eventually we chose the complex algorithm because it is more similar to the behavior of type inference elsewhere in the language.

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

Expressions in Sitebricks templates are just as concise as JSP, but are statically type-checked using a type-inference algorithm.

Sitebricks模板中的表达式就像JSP那样简洁，但却通过一个类型推断算法进行静态的类型检查。