Static types exist for the compiler to aid the programmer in discovering errors.

Naming conventions (in c++) exist for the programmer to aid the programmer in recovering the semantics of a given expression (which the compiler already understands).