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