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

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

NumPy 现在支持形状和数据类型的类型提示，增强了静态分析和运行时验证能力。Python 3.0 将用 PyArrow 替代 NumPy，以提升性能。文章还探讨了代码优化和 Django 应用的复杂性管理。

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实现，具备高性能和自动类型推断功能，欢迎开发者参与。