типы используются во время статического анализа, но не в рантайме и это не только к питону относится
Ну и собственно ошибка может быть обнаружена уже во время статического анализа еще до запуска кода
Это потому, что какой бы я тип аргументов не определил, передать в метод можно все равно что угодно
Обсуждают сегодня