静的型付け
読み:せいてき-かたづけ
外語:static typing

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

概要
 古くからの、本格的な高級言語は概ね静的型付け言語である。
 型を特定しないと不測のバグが混入しやすくなるため、このような仕様が従来から今に至るまで続けられている。
 一時期、これに対する動的型付けが流行したこともあるが、動的型付けは実用的ではない。そのため世の中の流れは、動的型付けから静的型付け+型推論へと移行しつつある。

再検索