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