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.

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.