Статическая типизация на питоне, почему не работает?

Question

[artempawww]

Имею вот такой огрызок кода:

def something (variable: int):
    print(variable)

variable: int аннотация типа, значит логично, что функция не будет принимать str, float и т.д.

Но, увы и ах... функция спокойно принимает str:

пук пук
Если вы это увидели, значит питон пропустил переменную

[Program finished]

def something(variable: int):
    print(variable)
    print("Если вы это увидели, значит питон пропустил переменную")

something("пук пук")

Почему питон игнорирует явную аннотацию . Я чего-то не понимаю?

Answer 1

[Denis Melnikov]

Потому что это type hitting, просто подсказка и питон, просто вам скажет в IDE , что функция ожидает один тип, а вы передали другой.
Все же Python - язык динамический.
Хотите строго, Go \ c# \ Java

Answer 2

[Wataru]

Интерпретатор Python не осуществляет проверку типов:

The Python runtime does not enforce function and variable type annotations. They can be used by third party tools such as type checkers, IDEs, linters, etc.

Надо использовать mypy или еще какой-то другой инструмент.

Comments

[artempawww]

надо будет тогда юзать

if isinstance(variable, int):
    pass
else:
    raise Exception ("Error!")

Для получения статической типизации?