静的型付け言語

コンパイル時に変数の型が定まる言語