За пределами тривиальных случаев аннотаций типов, или Как сделать статический анализатор типов своим лучшим другом

Даже если аннотации используются в проектах, то часто только для простых, тривиальных случаев. Когда аннотации усложняются, разработчики начинают игнорировать ошибки mypy или закрывают проблемы через Any. Это, как и отсутствие энфорсинга применения статических анализаторов типов, приводит к неполной аннотации типов. По мере роста кодовой базы это ведет к ухудшению читаемости и документирования кода, повышению сложности выявления ошибок, ухудшению поддержки auto-completion от IDE или нейросетей –например Copilot – и усложнению изменения кода.

Спикер расскажет, как преодолеть игнорирование и Any-типы, добиться максимально полной аннотации типов, а также о том, как бороться с распространенными ошибками.

Целевая аудитория – Python-разработчики с базовым знанием type hinting и технические лидеры, заинтересованные в повышении качества кода и процессов разработки.