Static Typing is doing all your type analysis at compile time. ML, C, C++ are all examples of static typing. A language which is statically typed does not necessarily mean you have to declare your types. Many languages look at how a variable is used and deduce the type from that.
Opposite: DynamicTyping
4 pages link to StaticallyTyped:
lib/main.php:944: Notice: PageInfo: Cannot find action page