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