プログラミング言語で、変数の型付けを限定する方式。変数ごとにデータ型(変数型)を決め、処理できるデータを予め決める方法。

概要

古くからの、本格的な高級言語は概ね静的型付け言語である。

型を特定しないと不測のバグが混入しやすくなるため、このような仕様が従来から今に至るまで続けられている。

一時期、これに対する動的型付けが流行したこともあるが、動的型付けは実用的ではない。そのため世の中の流れは、動的型付けから静的型付け+型推論へと移行しつつある。

リンク

用語の所属
プログラミング言語
データ型
関連する用語
動的型付け

[再検索] [戻る]