в какой-то книге по типам читал, что динамическая типизация имеется ввиду не переменные типизированы, а значения, во время выполнения интерпретатором (jit compiler) выполняются динамические проверки типов, что влияет на производительность работы программы впринципе, следовательно языки с динамической типизацией правильнее называть языками с динамической проверкой типов, но первый вариант удобнее