python 类型检查工具_pyre check-用于符合PEP 484的Python的高性能类型检查器

Pyre是用于符合PEP 484的Python的高性能类型检查器。Pyre可以逐步分析具有数百万行代码的代码库-在开发人员编写代码时向他们提供即时反馈。

Pyre随附了Pysa，Pysa是我们在Pyre之上构建的，专注于安全性的静态分析工具，其原因在于Python应用程序中的数据流。请参考我们的文档以开始我们的安全分析。

特点

快速：从头开始构建，以支持渐进式打字并提供响应性增量检查。在具有数百万行Python的大型代码库上具有高性能。

集成：通过在终端中或在您喜欢的编辑器中交互式标记类型错误来帮助提高代码质量和开发速度。

功能齐全：遵循介绍打字标准执行点484，526，612，并正在积极开发并不断完善。

为安全而生：Pyre附带了Pysa，Pysa是我们专注于安全性的静态分析工具，旨在对Python应用程序中的数据流进行大规模推理。

开始使用

您可以通过运行pip命令通过获得Pyre：pip install pyre-check，您也可以通过网盘下载Pyre的源代码。

建立一个项目

我们首先创建一个空的项目目录并设置一个虚拟环境：$ mkdir my_project && cd my_project

$ python3 -m venv ~/.venvs/venv

$ source ~/.venvs/venv/bin/activate

(venv) $ pip install pyre-check

接下来，我们向Pyre教授我们的新项目：

(venv) $ pyre init

此命令将在项目目录中为Pyre(.pyre_configuration)和watchman()设置配置.watchmanconfig。现在接受默认值–以后可以根据需要更改它们。

运行Pyre

现在，我们可以运行Pyre了：(venv) $ echo "i: int = 'string'" > test.py

(venv) $ pyre

ƛ Found 1 type error!test.py:1:0 Incompatible variable type [9]: i is declared to have type `int` but is used as type `str`.

首次调用将启动守护程序，以监听文件系统的更改–在对代码进行编辑时，逐步检查项目。您会注意到，后续的调用pyre将比第一个更快。

python 类型检查工具_pyre check-用于符合PEP 484的Python的高性能类型检查器相关推荐

python调用公共方法_common: 这是一个Python的公共工具类，集成了各种主要的python常用方法...
common 介绍这是一个Python的公共工具类,集成了各种主要的python常用方法. 本人是做java开发的,学习python很多情况下是把他当做一个脚本来使用,在使用的过程中,发现很多的功能 ...
python的顶级库_三大用于数据科学的顶级Python库
Python有许多吸引力,如效率,代码可读性和速度,使其成为数据科学爱好者的首选编程语言.Python通常是希望升级其应用程序功能的数据科学家和机器学习专家的首选. 由于其广泛的用途,Python拥有 ...
python 生成空白矩阵_3个用于数据科学的顶级Python库
用这些库把Python变成一个科学数据分析和建模工具. image by Opensource.com Python许多吸引人的特点如效率.代码可读性和速度使它成为数据科学爱好者的首选编程语言.对于希 ...
python gui测试工具_在Suse10下尝试dogtail(一个python的GUI测试工具..
你的位置: 技术文档 -> Python -> 文档详情在Suse10下尝试dogtail(一个python的GUI测试工具.. 零简介: DogTail是一个用python写的,自动 ...
python开发自动化测试工具_Moler首页、文档和下载 - Python 编写真的自动化测试工具包 - OSCHINA - 中文开源技术交流社区...
Moler 是为构建自动化测试提供"砖块"的 Python 库. 所有这些"砖头"都有明确的责任,有类似的API,遵循相同的构造模式(所以很容易创建新的测试). ...
python编译 pyd 工具_avalon-fsn首页、文档和下载 - Python 编译构造工具 - OSCHINA - 中文开源技术交流社区...
avalon-fsn avalon-fsn 是一个Python的编译构造工具,能够将你的代码Cython 使用avalon-fsn的好处代码Cython化:Windows下把代码编译为pyd,Lin ...
python图表可视化工具_比Excel制图更强大，Python可视化工具Altair入门教程
原作者 Parul Pandey 晓查编译整理量子位出品 | 公众号 QbitAI 数据转化成更直观的图片,对于理解数据背后的真相很有帮助.如果你有这方面的需求,而且还在使用Python,那么强 ...
python内置颜色条_用于多个子图的Python颜色条
假设我们要用plt.imshow()绘制一个3x5彩色绘图图像的倍数.第一行包含某种数据,第二行和第三行包含其他类型的数据.问题是:有没有一种方法可以将第一行绘制在公共色条上,第二行和第三行绘制在不同 ...
python密码破解工具_一个最简单的博客园文章密码暴力破解器-python3实现
一个最简单的博客园文章密码暴力破解器-python3实现我之前想写路由器的密码暴力破解器,我手上只有极路由,发现极路由有安全限制,只能允许连续10密码错误,所以我改拿博客园练手. 博客园的博客有个功 ...

python 类型检查工具_pyre check-用于符合PEP 484的Python的高性能类型检查器

python 类型检查工具_pyre check-用于符合PEP 484的Python的高性能类型检查器相关推荐

最新文章

热门文章