Microsoft опубликовал Pyright, систему проверки типов для языка Python
Компания Microsoft открыла исходные тексты проекта Pyright, в рамках которого развивается система для применения статической типизации в приложениях на языке Python. Для разработчиков предлагается утилита командной строки для проверки типов и плагин для интегрированных сред разработки, поддерживающих протокол LSP (Language Server Protocol), таких как Visual Studio Code, Nuclide и Atom. Код написан на языке Typescript (диалект JavaScript со статической типизацией), использует Node.js и открыт под лицензией MIT. Информация о типах может определяться в коде через добавление дополнительных аннотаций к переменным (PEP 526, например «# type: List[int]»), TypeVar-подсказок в стиле mypy (PEP 484, например «def greeting(name: str) — str:») или применения … Читать далее Microsoft опубликовал Pyright, систему проверки типов для языка Python
