在PyCharm 2026.1.2中，用户可以启用Pyrefly作为外部类型提供者，提升代码智能功能。Pyrefly是Meta开发的下一代Python类型检查器，基于Rust构建，性能更快，支持类型推断和错误检查，适合大型复杂Python代码库。用户可通过设置切换到Pyrefly类型引擎，享受更高效的代码分析和即时诊断。

在PyCharm 2026.1.2中，用户可以启用Pyrefly作为外部类型提供者，提升IDE的代码智能功能。Pyrefly是Meta开发的下一代Python类型检查器，基于Rust构建，支持类型推断和错误检查，适合大型复杂的Python代码库。用户只需选择Pyrefly，即可享受更快的分析速度和即时的类型诊断。

本周的Python周刊介绍了多个有趣的项目和工具，包括开源库CadQuery用于构建3D CAD模型、支持语音功能的Telegram机器人，以及通过自动化GST发票核对节省成本的案例。此外，还比较了Python类型检查器和命名实体识别的应用。

本周的Python周刊介绍了多个技术主题，包括用Rust编写的新JIT Python解释器Pyre、在TPU上运行HuggingFace模型的指南，以及Python类型检查器的选择。还强调了社区贡献的重要性。

自Python 3.5起，类型提示得到支持并经历多次演变。《Python Typing: Type Checking for Python Programmers》一书教你如何有效添加类型提示，使用类型检查器自动检测代码缺陷。

ty 是一个快速的 Python 类型检查器和语言服务器，性能比 mypy 快 10 到 60 倍，支持增量更新和 LSP 功能，未来将成为 Astral 工具链的核心，提供更高级的语义功能。

本周刊分享了13篇Python相关文章和13个开源项目，内容涵盖类型检查器、测试性能和Django最佳实践，旨在提升读者的Python技能和职业收入。

PEP 800 提出了新的装饰器 @disjoint_base，用于标记类为“不相交基类”，从而帮助类型检查器准确判断两个类是否可以有共同的子类。这一改进增强了 Python 的类型系统，使类型检查器更好地理解代码的可达性，减少复杂性和潜在错误。

Ty是Astral团队开发的快速Python类型检查器，目前处于预览阶段，用户可通过在线平台或命令行体验，并支持与VS Code等IDE集成。尽管尚未成熟，但前景可期。

Narwhals是一个轻量级兼容层，支持多种DataFrame库，便于编写可重复和可维护的数据科学代码。同时，Astral推出的新类型检查器ty，帮助开发者更好地管理代码。

Pyrefly是Meta开发的开源Python类型检查器，采用Rust实现，性能优越，旨在取代Instagram的OCaml版Pyre。它每秒可检查180万行代码，支持响应式IDE类型检查，并能自动推断未注释代码的类型，计划在夏季进入beta阶段。

Meta于2017年开始开发Instagram的Python类型检查器，最终推出开源工具Pyrefly。Pyrefly支持命令行和IDE集成，旨在帮助开发者在运行前捕捉Python代码中的错误。

Meta发布了Pyrefly的alpha版本，这是一个开源的Python类型检查器和IDE扩展，旨在提升代码一致性和错误检测。Pyrefly支持IDE集成和CLI使用，使用Rust实现，具备高性能和自动类型推断功能，欢迎开发者参与。

本周Python动态包括Python 3.14进入Beta版，推出新尾调用解释器；PyPI测试套件速度提升81%；多个项目如快速类型检查器和现代化Tcl/Tk接口等。

PEP 747 引入了新的类型形式 typing.TypeForm，以解决 Python 类型系统中对类型表达式注释不足的问题。TypeForm 允许开发者准确标注接受类型形式对象的函数，提升类型安全性。该提案不改变 Python 语法，主要通过类型检查器强制执行使用规则，支持可赋值性检查和类型转换，增强了 Python 类型系统的灵活性和表达能力。