Исходное сообщение
"Microsoft опубликовал Pyright, систему проверки типов для яз..." Отправлено opennews, 24-Мрт-19 10:24
Компания Microsoft открыла исходные тексты проекта Pyright (https://github.com/Microsoft/pyright), в рамках которого развивается система для применения статической типизации в приложениях на языке Python. Для разработчиков предлагается утилита командной строки для проверки типов и плагин для интегрированных сред разработки, поддерживающих протокол LSP (https://www.opennet.ru/opennews/art.shtml?num=44682) (Language Server Protocol), такими как Visual Studio Code, Nuclide и Atom. Код написан на языке Typescript (диалект JavaScript со статической типизацией), использует Node.js и открыт под лицензией MIT. Информация о типах может определяться в коде через добавление дополнительных аннотаций к переменным (PEP 526 (https://www.python.org/dev/peps/pep-0526/), например "# type: List[int]"), TypeVar-подсказок в стиле mypy (http://mypy-lang.org/) (PEP 484 (https://www.python.org/dev/peps/pep-0484/), например "def greeting(name: str) -> str:") и  определение структурных подтипов (https://en.wikipedia.org/wiki/Structural_type_system) (PEP 544 (https://www.python.org/dev/peps/pep-0544/)). Pyright  поддерживает вывод типов для возвращаемых функциями значений, локальных переменных, переменных классов и глобальных переменных. Системой также применяются умные ограничители типов, учитывающие ветвления в коде с использованием операторов if/else. Pyright работает примерно в пять раз быстрее  mypy и других систем проверки типов, написанных на языке Python. Высокая проихводительность позволяет использовать Pyright  для очень крупных кодовых баз, в режиме непрерывного отслеживания при редактировании и для быстрого инкрементального обновления при изменении файлов. Для работы Pyright не требуется установка Python-окружения, но необходимо наличие Node.js. Кроме инструментов для анализа и проверки кода в состав также входит подготовленный проектом Typeshed (https://github.com/python/typeshed) набор stub-файлов (".pyi"), содержащих информацию о типах для стандартных библиотек stdlib. Плагин для IDE поддерживает вывод всплывающих подсказок с информацией о типе, переход к позиции с определением переменной и обеспечение обратной связи во время редактирования. URL: https://news.ycombinator.com/item?id=19473631 Новость: https://www.opennet.ru/opennews/art.shtml?num=50383