Мову програмування називаютьсяназивають динамічно типізованою, коли основна частина перевірок типів виконується під час виконання програми, а не під час компіляції. У динамічній типізації, значення мають типи, а змінні — ні, тому змінна може містити значення будь-якого типу. Динамічно типізовані мови включають [[APL]], [[Erlang]], [[Groovy]], [[JavaScript]], [[LISP]], [[Lua]], [[MATLAB]]/[[GNU Octave]], [[Perl]] (для користувацьких типів, але не для вбудованих типів), [[PHP]], [[Пролог]], [[Python]], [[Ruby]], [[Smalltalk]], [[Clojure]] та [[Tcl]].