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的类型推断算法得同时支持面向对象类型和函数式类型。
Expressions in Sitebricks templates are just as concise as JSP, but are statically type-checked using a type-inference algorithm.
Sitebricks模板中的表达式就像JSP那样简洁，但却通过一个类型推断算法进行静态的类型检查。
应用推荐