Master
工具

Pyright

Published: Apr 13, 2021
Apr 2021
试验?

尽管 鸭子类型 很自然地被许多Python程序员看作是一个功能,但有时类型检查仍然很有用,尤其是在一些大型的代码库中。基于这个原因,许多类型注解被作为Python增强建议(PEP)而提出,Pyright就是一个可以与这些注解协同工作的类型检查器。此外,它还提供了一些类型推断和类型保护,来理解条件代码流的构造。由于设计时考虑到了一些大型的代码库,Pyright运行速度很快,它的“监视”模式允许它在修改文件时执行快速增量更新,以进一步缩短反馈周期。Pyright可以直接通过命令行使用,但也同样可以与VS Code,Emacs,vim,Sublime以及其它一些编辑器集成使用。在我们的经验中,相比mypy之类的替代方案,我们更青睐Pyright。