静的型付け

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

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

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