Каким образом работает статическая типизация в Python 3?

Question

[Veminal]

Решил попробовать прелести статической типизации в Python

Создал банальный пример:

if __name__ == "__main__":
   a:str = 5
   b: int = 5
   print(a+b)

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

В чем вообще здесь может быть причина? Что я мог упустить?

Comments

[Max Payne]

Каким образом работает статическая типизация в Python 3?

Она в нём не работает.

[Олег Беж]

Каким образом работает статическая типизация в Python 3?

динамическим. В python динамическая строгая неявная типизация. Остальное в ответе Ivan Yakushenko

Answer 1

[Ivan Yakushenko]

>>> a = int(5)
>>> b = str(5)
>>> a+b
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: unsupported operand type(s) for +: 'int' and 'str'
>>> a + int(b)
10
>>>

Comments

[Veminal]

Ну это очевидно

[Ivan Yakushenko]

Veminal, так а в чем ваш вопрос? Вы использовали аннотацию, а не приведение к типу, соответственно и ошибки в вашем примере нет и быть не может. Я показал вам как выполнять приведение к типу.