Many static type systems, such as those of C and Java, require type declarations: the programmer must explicitly associate each variable with a specific type.
Mnoho statických typových systémů, jako C, Java vyžaduje deklarování typů: programátor musí výslovně přiřadit každé proměnné určitý typ.