[duped]

This strikes me as tautological. If you're using anything statically typed you have to write the function signature before it's body.

[tremon]

Static typing is not synonymous with manifest typing (always require an explicit type declaration). Many functional languages can infer the type of an expression from its definition, so explicit type signatures are optional. These languages are still statically typed though.