Типы на миллионах строк: как mypy укрощает Python в большой компании – Сергей Яхницкий, Яндекс

В условиях масштабной кодобазы на 10+ миллионов строк Python необходимо на практике доказать его конкурентоспособность с C++, Go и Java в аспекте типобезопасности. В докладе Сергей Яхницкий, техлид в Техплатформе Екома и Райдтеха Яндекса, проведет детальный анализ системы постепенной типизации (gradual typing) в Python, с глубоким погружением в экосистему mypy: от истории создания и проекта mypyc до typeshed и инструмента mypy-primer. Вместе с Сергеем сравним mypy с линтерами (Pylint, Flake8) и альтернативными статическими анализаторами (Pyright, Ty, Pyrefly). Результатом станет тестирование mypy в реальных условиях инфраструктуры Яндекса, состоящей из 400+ микросервисов на разных версиях Python. Отдельно для опытных разработчиков Сергей раскроет стратегию внедрения типизации без полного рефакторинга и объяснит, как эффективно использовать «компилятор» в интерпретируемом языке. AvitoTech — это команда инженеров Авито. Подпишитесь на наш канал, соцсети и блоги, чтобы узнавать больше о технологиях Авито 👇🏻