静的型付け言語
コンパイル時に型が決定するプログラミング言語。型の情報は実行時には消えてなくなる。