静的型付け言語
コンパイル時に型が決まるプログラミング言語