文档建议反馈控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

介绍几款 Python 类型检查工具

早在 2006 年的 PEP-3107，Python 就推出了函数注解的功能，最终落在 3.0 版本实现。...2014 年的 PEP-483 更是以《The Theory of Type Hints》为题，做出了理论上的归纳。后来，又陆续提出了 PEP-526、PEP-544，类型检查的规范逐渐丰富。...使用的是 Typeshed 的副本。（注：使用静态的 pyi 文件，检查内置模块、标准库和三方件 ） 语言服务特性。悬停提示信息、符号定义的跳转、实时的编辑反馈 就此而言，不可谓不强大。...微软的 pyright 有个 watch 模式，应该是吸收了这点，而且更加好用（因为不需要额外安装 Watchman 和其它依赖）。...pytype https://github.com/facebook/pyre-check 随机推荐，偶遇精彩 1 英文分享|2018年Python的好与坏 2 Python骚操作：动态定义函数

1.1K10

失控的 Python3 类型

更有趣的是，当作者从文件中剥离注释并要求 PyType 推断它们时，在 77% 的情况下它未能这样做，这意味着用户编写的注释正在捕获自动工具无法捕获的信息。...Python 3 是一种高度动态的语言，但它引入了一种用 PEP484 表达类型的语法。本文探讨了开发人员如何使用这些类型注释、类型检查和推理工具提供的类型系统语义以及这些工具的性能。...然后我们解决三个研究问题： 开发人员使用 Python 3 类型的频率和方式是什么？ 开发人员会犯哪些类型的错误？ 来自不同工具的类型错误如何比较？...令人惊讶的是，当开发人员使用静态类型时，代码很少使用任何一种工具进行类型检查。MyPy 和 PyType 由于它们的静态性质而表现出误报，但也会在我们的语料库中标记出许多有用的错误。...最后，MyPy 和 PyType 体现了两个不同的类型系统，在许多情况下标记不同的错误。了解 Python 类型的使用有助于指导工具构建者和研究人员。

34810
您找到你想要的搜索结果了吗？
是的
没有找到

介绍几款 Python 类型检查工具

早在 2006 年的 PEP-3107，Python 就推出了函数注解的功能，最终落在 3.0 版本实现。...而到了 3.5 版本，Python 继续引入了静态类型检查的语法（即 PEP-484，type hints）。...2014 年的 PEP-483 更是以《The Theory of Type Hints》为题，做出了理论上的归纳。后来，又陆续提出了 PEP-526、PEP-544，类型检查的规范逐渐丰富。...使用的是 Typeshed 的副本。（注：使用静态的 pyi 文件，检查内置模块、标准库和三方件 ） 语言服务特性。悬停提示信息、符号定义的跳转、实时的编辑反馈 就此而言，不可谓不强大。...微软的 pyright 有个 watch 模式，应该是吸收了这点，而且更加好用（因为不需要额外安装 Watchman 和其它依赖）。

83240

Google出品的Python代码静态类型分析器：Pytype

Pytype可以: 使用lint检查纯Python代码，标记常见错误，如属性名拼写错误、不正确的函数调用，等等更多，它甚至可以跨文件。 强化用户提供的类型注解。...安装 Pytype可以通过pip来安装。注意，安装过程需要使用wheel和setuptools。(如果你在virtualenv中工作，这两个包应该已经存在。) ?...或者从GitHub上的源码进行安装 ： ? 代替使用--recurse-submodules参数进行安装, 你也可以在pytype目录中使用以下命令来安装： ? 用法 ?...除了上面所述，你还可以通过设置$TYPESHED_HOME来直接运行pytype命令使用定制的typeshed安装替代它自己的绑定副本。..., pytype开发人员的调试工具，用来对单个Python文件进行分析，并假定已经为该Python文件的所有依赖项生成了.pyi文件。

1.2K20

介绍几款 Python 类型检查工具

早在 2006 年的 PEP-3107，Python 就推出了函数注解的功能，最终落在 3.0 版本实现。...而到了 3.5 版本，Python 继续引入了静态类型检查的语法（即 PEP-484，type hints）。...2014 年的 PEP-483 更是以《The Theory of Type Hints》为题，做出了理论上的归纳。后来，又陆续提出了 PEP-526、PEP-544，类型检查的规范逐渐丰富。...使用的是 Typeshed 的副本。（注：使用静态的 pyi 文件，检查内置模块、标准库和三方件 ） 语言服务特性。悬停提示信息、符号定义的跳转、实时的编辑反馈 就此而言，不可谓不强大。...微软的 pyright 有个 watch 模式，应该是吸收了这点，而且更加好用（因为不需要额外安装 Watchman 和其它依赖）。

72910

Python源码分析：类的机制

-- Illustrations by Daniel Liang -- ♚ 作者：小屋子大侠，目前主要从事于python后端相关工作，使用使用python大概2年半的时间，平常喜欢分析工作中使用的工具的源码...，如supervisor,gunicorn,django等，并编写了相应的源码分析博客，除了使用工具的分析外，对python的底层实现也有相应兴趣并编写过python源码有关的博客，目前主要学习于操作系统相关内容...属性，一般情况下为type对应于Python源码中的PyTypeType；在Python的类中，都直接或者间接与Object有关联，都是Object的子类，对应Python中PyBaseObjectType...在Python的启动执行流程一文中有介绍，在Python启动的过程中会首先对默认的类型进行初始化，我们就从这里开始分析。...nbadd是存放在函数指针tpasnumber中，而这是另外一个结构，无法计算出nbadd相对于PyTypeObject的相对位置，由PyHeapTypeObject可以看出，可以直接计算相对位置。

1.4K20

《Python 源码剖析》一些理解以及勘误笔记（2）

p248: 嵌套函数、闭包和 decorator  co_cellvars: 通常是一个tuple，保存嵌套的作用域内使用的变量名集合； co_freevars: 通常是一个tuple，保存使用了的外层作用域中的变量名集合...闭包从创建、传递到使用的全过程可以用以下三幅图演示： ? ? ?...使用闭包的时候需要注意返回的函数不要引用任何循环变量，或者后续会发生变化的变量，否则出现的情况可能与你预期不同。...__class__ 对应的 class 对象中存在 __get__ 、__set__、__delete__ 三种操作，那么 obj 可以称 为Python 的一个 descriptor。...Python 虚拟机在 PyType_Ready 中对各种内置类型对应的 PyTypeObject 对象进行了复杂的改造动作，包括如下： 1).

1.1K00

【版本管理 | Git 】Git最佳实践系列（一） —— LFS & .gitignore 最佳实践，确定不来看看？

*.html*.pdf*.docx# 忽略备份文件*.bak*.backup# 忽略缓存文件.cache/# 忽略日志文件夹/logs/# 忽略临时文件夹/temp//tmp/# 忽略编译器和构建工具生成的文件.../.thumbnails/# 忽略本地配置文件*.local以下则是关于Python的# Byte-compiled / optimized / DLL files__pycache__/*.py[cod...recommended to not include it# in version control.# https://pdm.fming.dev/#use-with-ide.pdm.toml# PEP...运行以下命令来查看LFS跟踪的文件列表： git lfs ls-files 然后，使用git rm --cached命令手动逐个删除文件，例如： git rm --cached path/to...如果您希望完全删除LFS对象文件并释放存储空间，请参考Git LFS的文档或使用适当的命令来管理LFS服务器端的存储。我正在参与2023腾讯技术创作特训营第三期有奖征文，组队打卡瓜分大奖！

28910

解剖 Python 类

我们在使用 Python 语法编写程序时之所以能够一上来就定义一些复杂的类、生成复杂的类对象和实例对象，是因为 Python 在出厂时为我们包装好了各种基于类型和对象生成的类和相应类对象与实例对象（有些是内置的工具使用...可以近似理解为继承），根据该变量大小是否固定来选择使用哪一种。...类对象 当我们使用编辑器在文件中定义好类的主体后，就可以使用 Python 解释器加载相关文件（模块）了，在 Python 解释器加载了相关文件（模块）后，定义好的类主体会被用来生成相应的类对象。...在 Python3 中，类的继承解析使用的是 C3 算法，可以参考我的另一篇文章：Python MRO。...Python 之所以要设计这么复杂的一套逻辑来构建「类」体系，其核心目的就是为了帮助使用者在使用的过程中能够更加方便的进行概念抽象化，并且能够趁手的使用被抽象化后的类。

33020

Python & C++ - pybind11 实现解析

: 弱引用字段, 通过构建类型时的tp_weaklistoffset 告知Python 虚拟机对应弱引用的偏移. - owned: 标识对象是否被 Python 虚拟机直接所有, 这种情况下 Python...Lua 类似, Lua 是通过 __call 这个元方法直接完成封装的, Python 此处的实现会稍微复杂一点, 需要结合一部分 Python 源码才方便理解. pybind11中整个 C++ 对象的构建过程如下图所示...retrun self; } 真正负责对象构建的地方发生在 Python 源码部分, PyType_Type.tp_call() 调用最后会调用到 typeobject.c 中的 type_call()..., 在 C++ 构造函数匹配失败后被调用....的内存块, 再关联meta table的做法, 从上面的代码我们可以看到, pybind11 的实现中, Python对象的创建, 和对应C++对象的构建, 是完全分开的, 并不是我们向Python虚拟机请求一块内存做

80280

探索人工智能的世界：构建智能问答系统之环境篇

Python 你可以在官方网站的下载页面找到Python的最新版本（3.10.*）下载地址：https://www.python.org/downloads/windows/ 下载完成后，你可以按照默认设置一直点击...Windows的Docker Desktop的安装文件。...下载完成后，你可以按照安装向导一步步进行安装。 安装完成后，你可以使用Docker Desktop来创建、启动和停止容器，以及管理容器的网络和存储等设置。...安装完成后，你可以进行一次电脑重启，以使环境变量生效。请注意，Python和Docker的环境变量无需手动配置，它们在安装过程中已经自动配置好了。所以，你只需要重启电脑即可让这些环境变量生效。...重启后，你就可以开始使用Python和Docker了。

25120

Python 发展趋势：与 Rust 深度融合、更易于编写 Web 应用

polars：更快的 DataFrames，是超级广泛使用的 pandas 的性能竞争对手。 Robyn：带 Rust 运行时的异步 Python web 框架。...然而，最近机器学习和数据应用的兴起，催生了一批”使用纯 Python 的 Web UI”框架，例如 Streamlit、NiceGUI 和 Pynecone。...这样的框架为 Pythonistas 提供了构建 Web 应用的快捷方式，不再需要学习 JavaScript+HTML+CSS 技术栈。 另一条线路是浏览器中的 Python。...WASM 的故事还处于早期阶段，但它有着巨大的潜力，将使 Python 更容易访问并支持新的使用场景。我希望在不久的将来这个领域会有大量的创新。...趋势三：类型安全 CPython 对类型的支持在不断发展。例如，Python 3.10 发布了 4 个与类型相关的 PEP, 3.11 发布了 5 个。

72740

PDM - 一款新的 Python 包管理器

截止发文时，已经在PyPI上发布了0.3.0版本，它包含以下特性： PEP 582 本地项目库目录，支持安装与运行命令，完全不需要虚拟环境。...兼容 PEP 517 的构建后端，用于构建发布包(源码格式与 wheel 格式) 做一个项目，首先自己要用起来，至少对我来说，这些功能非常Exciting，而且我随时可以根据自己的喜欢做新功能（P.S....把握造轮子的程度 造轮子造轮子，造法也有很多种，你可以从零件厂采购轮毂，轮胎，自己组装，也可以从冶金、找橡胶树资源开始。 1....比如我要安装一个包，用这种方法实现出来是这个样子: PYTHON def install_requirement(requirement): # requirement是符合PEP508规范的依赖格式...这种方法对测试代码的侵入是非常小的，你甚至只需要修改PyPI的URL为https://127.0.0.1:{port}/simple就可以了。但这依然要求服务器上的文件在本地也有。

1.3K20

《Python 源码剖析》一些理解以及勘误笔记（1）

__bases__ 为 ，object.__bases__ 为 ()。 Python 2.2 之前的内置类型不能被继承的原因就在于没有在 type 中寻找某个属性的机制。...如下的PyInt_Type 的初始化代码，可知初始化 ob_refcnt 为1，而 ob_type 为 PyType_Type 的地址；PyType_Type 的初始化也是类似的，故其 ob_type...如下使用 dis.dis 展示的字节码指令： 1    0 LOAD_CONST 0 (1)       3 STORE_NAME 0 (i) 最左面第一列表示字节码指令对应的源码在py 文件的行数，左起第二列是当前字节码指令在...a 修改为 i p201: PyThreadState 对象是Python 为线程准备的在Python 虚拟机一级保存线程状态信息的对象，比如异常信息存放在 curexc_type、curexc_value...注意，使用dis.dis 查看时，函数f 的具体实现的字节码指令不会出现，因为它们是在与函数f 对应的PyCodeObject 对象中。

87400

谷歌裁掉整个 Python 团队！PyTorch 创始人急得直骂人：“WTF！核心语言团队无可替换”

团队的日常主要工作，除了为上游 Python 做出贡献之外，还包括： 在谷歌维护一个稳定的 Python 版本，并确保 monorepo 中的所有内容都可以使用。...做出贡献，并维护 C++ 集成工具； 开发和维护 Python 的构建系统规则，包括付出巨大努力将 Python 规则转移到纯 Starlark 代码，而不是让它们纠缠在 blaze/bazel 核心引擎中...； 开发并维护了一个类型检查器（pytype），它可以在没有类型注释的情况下对代码进行推理，并使用一次一个文件的架构处理非常大的项目； 对数亿行代码执行自动重构。...Python 运行时的团队、就像 YouTube 这样有一个用 Python 构建的异常庞大系统的团队，他们需要保持它的性能和可维护性。...该公司的格言“Python 能用，C++ 必须用”，描述了它对这种多功能编程语言的依赖程度。 早期，谷歌的创始人决定只要有可能就使用 Python，而在无法使用 Python 的地方只使用 C++。

12110

PDM 2.0 有什么新特性？

当你克隆一个已有的项目，在项目中第一次执行 pdm install 时，PDM 会检查项目中是否存在一个 __pypackages__ 文件夹1，如果存在，会使用 PEP 582 包结构， 否则会自动为你创建一个虚拟环境并在其中安装依赖...PDM 搭配其他后端 PDM 虽然有一个自己的后端2 pdm-pep517 但它其实没有和任何后端绑定，你依然可以使用比如 flit-core, hatchling, setuptools 作为后端，只要它支持读取...所以我们彻底摒弃了使用 pip 的内部 API，转而自己造了一个轮子 unearth 来使用。这将增加稳定性，也方便了下游的打包者。...感谢 @noirbizarre 的贡献。 composite 复合脚本 你可以使用复合脚本来组合多个脚本，它们之间将顺序执行，其中有任一脚本失败，整个复合脚本就失败。...__pypackages__ 到 git 上，而把安装的包 ignore 掉 ↩ 在 Python 打包中后端是指读取元数据进行构建、打包的工具(如 setuptools)，而前端是指提供用户界面以修改元数据的工具

24120

Python打包指南2021

注意，在 PEP 517 提案之后的今天，永远不要再用python setup.py install，python setup.py build这两种方式安装和构建包了，所有的 PyPI 上的包，都必须通过...wheel 格式安装，如果没有 wheel 包的，则必须提供符合 PyPA 规范的源码包，经过 PEP 517 构建为 wheel 格式之后再安装，pip install 背后就是这样做的...，这样可以让老的项目，能直接用 PEP 517 的方式构建。...pdm-pep517 所以我可以不用写 setup.py 了 setup.py作为一个元数据的定义格式是有问题的： 必须由 Python 运行，无法静态解析 由于第 1 点，有注入恶意代码的操作可行性...---- 阅读链接 Python Packaging User Guide setuptools 文档 Python 包构建接口 - PEP 517 Wheel 包格式 - PEP 427 Python

29330

2021年，你应该知道的Python打包指南

属性，判断是否与当前 Python 版本兼容，加入候选列表 若是源代码包，直接加入候选列表 最终在候选列表中优先选择 whl 文件为待安装的包，将包下载到本地，候选包的选择可以由pip install的...而这个指定的编译方式，在 PEP 517 提案之前，是调用python setup.py install命令。...PEP 517 的配置，这样可以让老的项目，能直接用 PEP 517 的方式构建。...pdm-pep517 所以我可以不用写 setup.py 了 setup.py作为一个元数据的定义格式是有问题的： 必须由 Python 运行，无法静态解析 由于第 1 点，有注入恶意代码的操作可行性.../en/latest/) Python 包构建接口 - PEP 517 Wheel 包格式 - PEP 427 Python 包元数据格式 - PEP 621 Snake bites: Beware malicious

1.6K10

谷歌裁掉整个 Python 团队！PyTorch 创始人急得直骂人：“WTF！核心语言团队无可替换”

团队的日常主要工作，除了为上游 Python 做出贡献之外，还包括： 在谷歌维护一个稳定的 Python 版本，并确保 monorepo 中的所有内容都可以使用。...做出贡献，并维护 C++ 集成工具； 开发和维护 Python 的构建系统规则，包括付出巨大努力将 Python 规则转移到纯 Starlark 代码，而不是让它们纠缠在 blaze/bazel 核心引擎中...； 开发并维护了一个类型检查器（pytype），它可以在没有类型注释的情况下对代码进行推理，并使用一次一个文件的架构处理非常大的项目； 对数亿行代码执行自动重构。...Python 运行时的团队、就像 YouTube 这样有一个用 Python 构建的异常庞大系统的团队，他们需要保持它的性能和可维护性。...该公司的格言“Python 能用，C++ 必须用”，描述了它对这种多功能编程语言的依赖程度。 早期，谷歌的创始人决定只要有可能就使用 Python，而在无法使用 Python 的地方只使用 C++。

11910
点击加载更多

扫码

添加站长 进交流群

领取专属 10元无门槛券

手把手带您无忧上云

扫码加入开发者社群

相关资讯

热门标签

更多标签

活动推荐

    运营活动

    活动名称
    广告关闭

    腾讯云开发者

    扫码关注腾讯云开发者

    扫码关注腾讯云开发者

    领取腾讯云代金券

    热门产品

    热门推荐

    更多推荐

    Copyright © 2013 - 2024 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有

    深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 深公网安备号 44030502008569

    腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号 | 京公网安备号11010802020287

    领券