Был ли у вас опыт работы с MyPy как статическим анализатором типов?

Опишите, использовали ли mypy локально и в CI, какой код проверяли и какие ошибки он помог найти. Это статическая проверка аннотаций, а не исполнение программы и не замена тестов.

Хороший пример — обнаружение Optional без проверки, несовместимого аргумента или неверного результата функции. Расскажите, как вводили типы в существующий проект и обрабатывали нетипизированные библиотеки. Массовые Any и ignore могут скрыть пользу проверки; строгий режим стоит вводить осмысленно. Если опыт был только учебный, обозначьте это. Runtime-валидация внешних данных остаётся отдельной задачей.