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 proba

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.