参加 2019 Python开发者日，请扫码咨询 ↑↑↑

来源 | GitHub

编辑 | suiling

出品 | Python大本营（ID：pythonnews）

近日，微软开源了一个名为Pyrignt的开源项目，一个Python静态类型检查器，主要为了解决类似mypy等现有的Python类型检查器不能解决的问题。

速度方面

相比mypy和其他用Python语言写的类型检查器，Pyrignt的速度要快上5倍或者更快，它适用于大型的Python源码库，可以在“监视”模式下运行，并在修改文件时执行快速增量更新。

不依赖Python环境

Pyright用TypeScript编写，在节点内运行。 它不需要安装Python环境或导入的第三方软件包。 当与VS代码编辑器一起使用时非常好用，使用节点作为其扩展运行时。

可配置

Pyright支持灵活配置，可以对设置进行精细控制。 可以为源代码的不同子集指定不同的“执行环境”。 每个环境都可以指定不同的PYTHONPATH设置、Python语言版本和平台目标。

键入检查功能

• Pyright支持：

• PEP 484类型提示包括泛型

• 用于变量注释的PEP 526语法

• PEP 544结构子类型

• 键入函数返回值，实例变量，类变量和全局变量的类型推断。

• 理解条件代码流构造的智能类型约束，如if / else语句。

内置Type Stubs

Pyright包含来自Typeshed的stdlib类型存根的最新副本。 它可以配置为使用Typeshed类型存根的另一个（可能是更新的或修改过的）副本。 当然，它也适用于作为项目一部分的自定义类型存根文件。

命令行或语言服务

Pyright包括VS Code的命令行工具和语言服务器协议插件。

语言服务功能

Pyright提供以下语言服务功能：

• 悬停显示类型信息的工具提示

• 符号定义的链接

• 在编辑期间智能优先级排队“实时”反馈