Какие функции должен иметь язык, чтобы он считался языком с динамической типизацией
Значения имеют типы, а переменные - нет.