Исходное сообщение
"Microsoft опубликовал Pyright, систему проверки типов для яз..." Отправлено GreyFox, 24-Мрт-19 14:28
Статика в Python не подключается, это не возможно. Типы аннотируются, т.е. указываются для статического анализа (можно сказать, что в виде мета информаций). В редакторе можно подсвечивать ошибки (к примеру при присваивании, при вызове функции, ...), статистический анализ как одна из стадии проверок в CI (непрерывной интеграции), можно использовать для валидации в реальном времени (удобнее описывать, идемпотентный код, ...), ... В итоге писать код в реальных средних и больших проектах значительно удобнее. По той же причине аннотирование есть в Typescript