Type checking ловит баги до запуска: передал str вместо int, забыл обработать None, неправильная сигнатура. IDE получает информацию для автокомплита и рефакторинга. Документация в коде — видно что функция принимает и возвращает. Для больших проектов и команд — критично: новый разработчик понимает API по типам. mypy/pyright в CI — ни один PR не пройдёт с ошибкой типов. Постепенное внедрение: начни с новых файлов, постепенно добавляй аннотации в старые.

Зачем нужна статическая проверка типов?