Ответ 1
В вашем примере демонстрируется динамическая типизация, а не слабое типирование. Динамическая типизация обычно означает, что тип данных, которые может хранить объект, является изменяемым; любая цель может содержать привязку к любому типу объекта. Сравните это, скажем, с С#, который статически типизирован [*].
int i = 5; // Okay.
i = "5"; // Illegal! i can only hold integers.
Сильная типизация означает, что после присвоения значения определенного вида объекты подчиняются строгим правилам о том, как они могут взаимодействовать с другими объектами разных типов. Слабая типизация означает, что такие правила более расслаблены. Это не означает, что строго типизированные языки обязательно превосходят друг друга; это просто выбор языка.
Python считается строго типизированным, потому что объекты имеют четкое представление о том, что они набирают. Несовместимые операции между объектами вызывают ошибки:
>>> 1 + 1 # Add two integers.
2
>>> "1" + "1" # Concatenate two strings.
'11'
>>> 1 + int("1") # Add two integers.
2
>>> "1" + str(1) # Concatenate two strings.
'11'
>>> 1 + "1" # Undefined! Adding integers and strings is meaningless.
Traceback (most recent call last):
File "", line 5, in ?
TypeError: unsupported operand type(s) for +: 'int' and 'str'
Но в PHP правила гораздо более расслаблены относительно того, что приемлемо. Таким образом, считается более слабо типизированным, чем некоторые другие языки.
$x = 1 + "1"; // x is 2
[*] С технической точки зрения, с С# 4, С# статически типизируется, но с возможностью динамического ввода по принципу привязки, благодаря ключевому слову dynamic. Многие языки в эти дни добавляют динамические возможности и размывают линии, поэтому становится все труднее сказать, что "язык X является динамическим" и "язык Y статичен". Это гораздо больше скользящей шкалы или спектра, чем бинарное свойство.