プログラムを実行前に型検査を行う

高度な最適化ができる

安全性

効率がいい

型宣言をすることで、変数のデータ領域を確実に確保できる

変数の型がプリミティブであればそれだけ、固定した大きさを確保すればいい