静的型付け
読み:せいてき-かたづけ
外語:static typing
プログラミング言語で、変数の型付けを限定する方式。変数ごとにデータ型(変数型)を決め、処理できるデータを予め決める方法。
概要
古くからの、本格的な高級言語は概ね静的型付け言語である。
型を特定しないと不測のバグが混入しやすくなるため、このような仕様が従来から今に至るまで続けられている。
一時期、これに対する動的型付けが流行したこともあるが、動的型付けは実用的ではない。そのため世の中の流れは、動的型付けから静的型付け+型推論へと移行しつつある。
再検索