Описание тега dynamic-typing
Динамическая типизация - это свойство языка программирования, где проверка типов выполняется в основном во время выполнения.
Говорят, что язык программирования динамически типизирован, если большая часть его проверки типов выполняется во время выполнения, а не во время компиляции. В динамической типизации значения имеют типы, а переменные - нет; то есть переменная может ссылаться на значение любого типа.
Языки с динамической типизацией включают APL, Erlang, Groovy, JavaScript, Lisp, Lua, MATLAB/GNU Octave, Perl (для типов, определяемых пользователем, но не для встроенных типов), PHP, Pick BASIC, Prolog, Python, Ruby, Smalltalk и Tcl.
Ссылки