[fabianhjr]

> most of them have "var" or an equivalent which saves on typing

Do you mean type inference? Most typed-languages have that, even Haskell/Scala.

It gets iffy on dependent type systems like Agda/Idris.

[seanmcdirmid]

Scala type inference isn't as powerful as Haskell's primarily due to nominal subtyping. Dependent type systems are so power that they defy type inference (in general, the more expressive your types, the harder it is to infer subtyping relationships, which is the primary complexity of type inference).