動的型付け言語とは、プログラミング言語のうち、その時々で変数の型が変化するもののことである。
動的型付けは変数の型が初回利用時に決定する型推論と似ているが、動的型付けではキャストなども自動的に行われる点が大きく異なる。