динамический контроль типов (dynamic typing)

В языке программирования с динамическим контролем типов переменные и выражения не имеют назначенных типов. Это означает, что они не могут быть проверены до запуска в среде выполнения. Не путать со строгим контролем типов.