I think explicit types for function arguments and return types are a good thing, even in languages that support their omission.

For local variables, it's probably not necessary, unless the type is especially complicated.

Though, I wouldn't call putting type annotations on all variables as a bad thing.

As an aside, Intellij has this great future with Scala where it displays the inferred type of all functions and variables automatically.