Vowkk0rvinты неправильно понял ответ. это пример не нестрогой типизации, а вывода типов.
Странно, вот например
Динами́ческая типиза́ция — приём, широко используемый в языках программирования и языках спецификации, при котором переменная связывается с типом в момент присваивания значения, а не в момент объявления переменной. Таким образом, в различных участках программы одна и та же переменная может принимать значения разных типов. Примеры языков, где есть динамическая типизация — Smalltalk, Python, Ruby, PHP, Perl, JavaScript, Object Pascal, Lisp, xBase .

Похоже, это ты чего-то не понимаешь.
ничего странного,
1) динамическая типизация != нестрогая типизация
2) твои слова:
Vowk
Переменные вообще там не обьявляются, а тип по первому присваиванию устанавливается.
Если X = "2" - то X принимает значение типа "строка", и уже следующая строка
X = 2 вызовет Run Time Error - ошибка типа переменной.
А если переменной вообще не было присваивания и её пытаются использовать в правой части оператора присваивания или как аргумент функции, то опять возникнет Run Time Error (потому что неприсовенная ни разу переменная имеет тип "U"- unknown).

это ну ни в каком месте не имеет отношения к строгости/нестрогости типизации. это простая динамическая типизация, точнее по факту это "не рыба, не мясо": присваивать переменной значения другого типа нельзя, использовать несвязанные переменные нельзя => полноценной динамической она не является, налицо признаки статической типизации, однако тип определяется в рантайме => полноценной статической она тоже не является.

Vowk вот например
Динами́ческая типиза́ция — ...
кстати, статья какая-то хреновенькая. нет такого языка Lisp, уже давно. если брать CL, то переменных как таковых там нет, соответственно о "типе переменной" не может идти и речи.

s/несвязанные переменные/переменные типа Unknown/