「静的型付け言語」を編集中

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

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

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

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

[[category: プログラミング]]