動的型付け言語
オブジェクト型の検証をプログラムの実行時に行う種類のプログラミング言語のこと。実際にどのような型のオブジェクトが扱われるかはプログラムの実行時までわからない。プログラム上で型を定義するための手続きを簡略化することができる。Python, JavaScript, PHPなどが挙げられる。
C言語などは厳密な静的型付け言語であり、コンパイル前に関数の型（引数と戻り値のデータ型）、変数の型とそれに代入するデータの型の対応などをチェックしている。