静的型付け言語

静的型付け言語とは、「変数の型」が明確に決まっているプログラミング言語のことです。

ひとつの変数が時と場合により数値だったり文字列だったりと変化するものは「動的型付け言語」と呼ばれます。動的型付け言語は記述が簡潔でプログラミングしやすい一方でバグの温床になりやすいという諸刃の剣です。

一方、静的型付け言語は型の宣言がいちいちめんどくさくプログラミングしにくというか、ソースコードの記述量が多くなりがちという欠点があります。その代わり静的型付け言語はインテリセンスのようなコード補完が比較的簡単に実装しやすく、同様にリファクタリングなども比較的簡単に実装できるという利点があります。

近年では静的型付け言語で動的型付け言語っぽく利用できる「型推論」が大流行しています。