Никита Соболев. Typed-linter: окончательное решение проблемы статического анализа в Python

В статическом анализе в Python творится страшное. Но, почти никто не замечает слона в комнате. Давайте разбираться, что у нас болит. В докладе я расскажу про проблемы: Качество самих инструментов Внедрение статического анализа в старый проект — почти невозможно Игнорирование ошибок не позволяет сделать «как мне надо», а только как «как просит линтер» Восприятие статического анализа в сообществе: многие уверены, что им достаточно Black! Типизация сейчас является скорее сводным братом троюродной сестры вашей соседки, чем полноценным членом семьи статического анализа Исправление ошибок? Забудьте! И поделюсь решением: typed-linter — проект, над которым я работаю последние полгода. Краткий анонс: Новый runtime, сделанный как надо Legacy-first Умное игнорирование ошибок Удобство использования и внедрения Типы (вау!) Исправление большинства ошибок без вашего участия А также расскажу про модель распространения, которая сочетает в себе open-source и п