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.
" 多くの静的な型システム（例えば C や Java）は型宣言を必要とし、プログラマはすべての変数に特定の型を明示的に関連付けなければならない。