查看原文
其他

微软开源Python静态类型检查器:Pyright

爱分享的 Python大本营 2019-04-08

参加 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提供以下语言服务功能:

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

  • 符号定义的链接

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


更多文档以及FAQ请查看:

https://github.com/Microsoft/pyright


(*本文由Python大本营整理,转载请联系微信1092722531)



福利

扫码添加小助手,回复:1,加入Python技术交流群,共享Python学习资料,定时更新。


2019 Python开发者日

敲黑板划重点!7 折优惠限时抢购中,3 月 31 日前可享受优惠价 499,欢迎点击阅读原文报名参加。更多详细信息请咨询13581782348(微信同号)。


你也可以点击阅读原文,查看大会详情。

    您可能也对以下帖子感兴趣

    文章有问题?点此查看未经处理的缓存