- 综合排序
- 最热优先
- 最新优先
- 来自专栏AI科技评论
资源 | Github项目推荐 | 微软开源Python静态类型检查器Pyright
PEP 526 语法 PEP 544 结构子类型 函数返回值、实例变量、类变量和全局变量的类型推断 理解条件代码流构造的智能类型约束，如 if/else 语句 内置类型存根 Pyright包含来自 Typeshed 它可以配置为使用Typeshed类型存根的另一个（可能是更新的或修改过的）副本。 当然，它也适用于作为项目一部分的自定义类型存根文件。
1.1K20发布于 2019-10-31 - 来自专栏AI研习社
Github项目推荐 | 微软最新开源Python静态类型检查器Pyright
PEP 526 语法 PEP 544 结构子类型 函数返回值、实例变量、类变量和全局变量的类型推断 理解条件代码流构造的智能类型约束，如 if/else 语句 内置类型存根 Pyright包含来自 Typeshed 它可以配置为使用Typeshed类型存根的另一个（可能是更新的或修改过的）副本。 当然，它也适用于作为项目一部分的自定义类型存根文件。
1.4K20发布于 2019-05-08 - 来自专栏AI派
资源 | Github项目推荐 | 微软开源Python静态类型检查器Pyright
PEP 526 语法 PEP 544 结构子类型 函数返回值、实例变量、类变量和全局变量的类型推断 理解条件代码流构造的智能类型约束，如 if/else 语句 内置类型存根 Pyright包含来自 Typeshed 它可以配置为使用Typeshed类型存根的另一个（可能是更新的或修改过的）副本。 当然，它也适用于作为项目一部分的自定义类型存根文件。
1.1K20发布于 2019-05-05 - 来自专栏浪浪山下那个村
已经安装openssl，编译redis还是提示找不到<openssl/ssl.h>
/usr/local/lib/python3.9/dist-packages/jedi/third_party/typeshed/third_party/2and3/cryptography/hazmat
2.3K10编辑于 2022-07-31 - 来自专栏相约机器人
Google出品的Python代码静态类型分析器：Pytype
除了上面所述，你还可以通过设置$TYPESHED_HOME来直接运行pytype命令使用定制的typeshed安装替代它自己的绑定副本。
1.5K20发布于 2019-06-21 - 来自专栏Python无止境
英文分享 | 2018年 Python 的好与坏
The lack of typeshed files for many common modules¹ such as: flask msgpack coloredlogs flask-restplus In the future, I hope that it becomes a community standard to provide typeshed files for all modules
86930发布于 2019-04-10 - 来自专栏程序员的知识天地
介绍几款 Python 类型检查工具
使用的是 Typeshed 的副本。（注：使用静态的 pyi 文件，检查内置模块、标准库和三方件 ） 语言服务特性。悬停提示信息、符号定义的跳转、实时的编辑反馈 就此而言，不可谓不强大。
96110发布于 2019-05-15 - 来自专栏Python无止境
介绍几款 Python 类型检查工具
使用的是 Typeshed 的副本。（注：使用静态的 pyi 文件，检查内置模块、标准库和三方件 ） 语言服务特性。悬停提示信息、符号定义的跳转、实时的编辑反馈 就此而言，不可谓不强大。
1.1K40发布于 2019-03-27 - 来自专栏Python无止境
介绍几款 Python 类型检查工具
使用的是 Typeshed 的副本。（注：使用静态的 pyi 文件，检查内置模块、标准库和三方件 ） 语言服务特性。悬停提示信息、符号定义的跳转、实时的编辑反馈 就此而言，不可谓不强大。
1.4K10发布于 2019-04-09 - 来自专栏信数据得永生
流畅的 Python 第二版（GPT 重译）（八）
内置函数sum是用 C 编写的，但typeshed为其提供了重载类型提示，在builtins.pyi中有： @overload def sum(__iterable: Iterable[_T]) -> 如果你想通过阅读代码了解@overload，typeshed有数百个示例。在typeshed上，Python 内置函数的存根文件在我写这篇文章时有 186 个重载——比标准库中的任何其他函数都多。 类型转换 没有完美的类型系统，静态类型检查器、typeshed 项目中的类型提示或具有类型提示的第三方包也不是完美的。 根据typeshed，int.__abs__返回一个int，这与is_unit类型提示中为v参数声明的float类型参数一致。 ⁸ 我报告了typeshed的问题＃5535，“asyncio.base_events.Server sockets 属性的错误类型提示”，Sebastian Rittau 很快就修复了。
1.2K10编辑于 2024-03-21 - 来自专栏CDA数据分析师
力压 Java 与 C 的 Python 现状如何了？
而且，许多常用的模块都没有类型文件，如： flask：https://github.com/python/typeshed/issues/28 msgpack：https://github.com/msgpack
93720发布于 2018-12-29 - 来自专栏机器学习算法与Python学习
Python 的 2018 年终总结：发展状况回顾
肯定还有更多完整的列表，例如typeshed type-stubs-request标记。
73230发布于 2019-07-04 - 来自专栏信数据得永生
流畅的 Python 第二版（GPT 重译）（七）
但在typeshed上对complex.__float__进行类型提示不会解决这个问题，因为 Python 的运行时通常会忽略类型提示，并且无法访问typeshed存根文件。 寻找类型解决方案的好地方是typeshed项目。 作为 Python 标准库的一部分，statistics模块有一个对应的statistics.pyi存根文件，其中包含了对typeshed上几个函数进行类型提示的定义。 我通过使用协议添加类型提示来帮助修复了 typeshed 中的一些错误。例如，修复“Mypy 是否应该警告可能无效的 max 参数？” ²⁷ 这是 typeshed 的一种善意的谎言：截至 Python 3.9，内置的complex类型实际上并没有__complex__方法。
84110编辑于 2024-03-21 - 来自专栏信数据得永生
流畅的 Python 第二版（GPT 重译）（四）
Iterable 参数的一个示例出现在标准库中的 math.fsum 函数中： def fsum(__seq: Iterable[float]) -> float: 存根文件和 Typeshed 项目 截至 Python 3.10，标准库没有注释，但 Mypy、PyCharm 等可以在 Typeshed 项目中找到必要的类型提示，形式为存根文件：特殊的带有 .pyi 扩展名的源文件，具有带注释的函数和方法签名 内置的input在 typeshed 上有这个签名： def input(__prompt: Any = ...) -> str: ... input的签名与这个Callable类型提示一致： Callable 它在typeshed中的签名是： def exit(__status: object = ...) -> NoReturn: ... __status参数是仅位置参数，并且具有默认值。 ¹⁴ 我向typeshed贡献了这个解决方案，这就是为什么mode在statistics.pyi中的注释截至 2020 年 5 月 26 日。
1.1K10编辑于 2024-03-21 - 来自专栏信数据得永生
SqlAlchemy 2.0 中文文档（五十七）
但是，目前 typeshed 中也包含 SQLAlchemy 存根包，typeshed 本身被捆绑到一些类型工具中，如 Pylance，因此在某些情况下，可能需要定位这些包的文件并删除它们，以确保新的类型化能够正确工作 一旦 SQLAlchemy 2.0 发布为最终状态，typeshed 将从其自己的存根源中删除 SQLAlchemy。 但是，SQLAlchemy 存根包目前也是[typeshed](https://github.com/python/typeshed)的一部分，它本身捆绑在一些类型工具中，如[Pylance](https 一旦 SQLAlchemy 2.0 以最终状态发布，typeshed 将从其自己的存根源中删除 SQLAlchemy。 一旦 SQLAlchemy 2.0 发布为最终状态，typeshed 将从其自己的存根源中删除 SQLAlchemy。
1.4K10编辑于 2024-08-01 - 来自专栏Python无止境
使用 Mypy 检查 30 万行 Python 代码，总结出 3 大痛点与 6 个技巧！
例如，functools.lru_cache 尽管在 typeshed 里有类型注解，但由于复杂的原因，它不保留底层函数的签名，所以任何用 @functools.lru_cache 装饰的函数都会被移除所有类型注解
1.3K20编辑于 2022-09-05 - 来自专栏Java帮帮-微信公众号-技术文章全总结
Python和其它27种编程语言
正如 Chris Neugebauer 在澳大利亚 PyCon 大会的报告上指出的那样，这很像是 Python 与类型提示库 typeshed 以及类似 mypy 那样的类型推导和分析工具之间的关系。
2.1K20发布于 2019-05-13 - 来自专栏CSDN技术头条
帮你提升 Python 的 27 种编程语言
正如Chris Neugebauer在他的 澳洲PyCon演讲 中指出的那样，这很像是Python 与类型提示库 typeshed 以及类似 mypy 那样的类型推导和分析工具之间的关系。
1.1K80发布于 2018-02-11 - 来自专栏CDA数据分析师
帮你提升 Python 的 27 种编程语言
正如 Chris Neugebauer 在澳大利亚 PyCon 大会的报告上指出的那样，这很像是 Python 与类型提示库 typeshed 以及类似 mypy 那样的类型推导和分析工具之间的关系。
1.2K80发布于 2018-02-05 - 来自专栏CDA数据分析师
帮你提升 Python 的 27 种编程语言
正如Chris Neugebauer在他的 澳洲PyCon演讲 中指出的那样，这很像是Python 与类型提示库 typeshed 以及类似 mypy 那样的类型推导和分析工具之间的关系。
1.1K50发布于 2018-02-05
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号