Нил Митчелл: Pyrefly: проверка типов 1,8 миллиона строк кода Python в секунду

Как проверить типизацию 1,8 миллиона строк Python в секунду? Нил Митчелл объясняет, как Pyrefly (новый инструмент проверки типов Python) достигает такого уровня производительности. Система опциональных типов Python стала ещё сложнее с момента появления аннотаций типов в 2014 году, теперь в неё входят обобщенные типы, подтипы, потоковые типы, вывод и уточнение полей. В этом докладе мы рассмотрим, как Pyrefly моделирует и валидирует эту сложную систему типов, какие архитектурные решения лежат в её основе, а также оптимизацию производительности, которая делает её невероятно быстрой. Подробнее: https://pyrefly.org