Pyrefly v1.2.0-dev.3 发布全解析DataFrame 模式推断、functools.partial 精确签名与 8 个新错误种类【免费下载链接】pyreflyA fast type checker and language server for Python项目地址: https://gitcode.com/GitHub_Trending/py/pyreflyPyrefly v1.2.0-dev.3 是 PyreflyMeta 开源的快速 Python 类型检查器与语言服务器在 1.2.0 稳定版之前的一个开发版快照共打包 250 个提交、29 位贡献者的工作。本指南以该版本发布说明为核心结合仓库源码逐项解析其三大主线Polars/Pandas DataFrame 列级模式推断、functools.partial与 attrs 转换器的精确剩余签名合成、以及 8 个新错误种类与 Language Server 体验改进并给出从 dev 版本平滑升级现有代码库的可执行方案。读完本文你将能利用该版本的新能力提前发现 DataFrame 列名拼写错误、验证 partial 与 attrs 构造参数的类型正确性并借助新错误种类与coverage工具优化类型覆盖流程。一、版本概览dev 快照的定位与升级方式release_notes/release-notes-v1.2.0-dev.3.md明确说明dev 版本X.Y.Z-dev.N形式是周期性从主干trunk切出的非稳定快照用于让早期使用者提前体验进行中的功能并暴露问题但不承担与稳定版相同的稳定性或兼容性保证——官方明确建议不要将生产项目固定pin到 dev 版本。升级到该版本非常简单pip install --upgrade pyrefly1.2.0-dev.3版本定位的工程含义从仓库结构看Pyrefly 的核心类型系统位于 crates/pyrefly_types/src类型检查主逻辑位于 pyrefly/lib命令入口分散在 pyrefly/lib/commands。dev 版本的特点是data_frame.rs这类新增模块可能仍在快速迭代错误种类与配置项的默认值也可能在后续 dev 版本中调整因此在评估是否引入 dev 版本时应以本版本实际行为下文以源码为准为依据。二、类型检查核心增强精确签名、类型变量求解与更细的窄化1. TypedDict 合成__required_keys__/__optional_keys__本版本中TypedDict 类在属性查找attribute lookup时现在会合成__required_keys__和__optional_keys__属性。这修复了 issue#3745此前要求这两个属性的协议例如 langgraph 中的相关协议无法通过结构化检查structural check。现在协议检查可以正确读取 TypedDict 的必需键与可选键集合从而让这类依赖运行时内省属性的库正常通过类型检查。2. attrs 字段转换器让__init__参数类型不再退化为Anyattrs 生态在本版本获得集中加强核心诉求是让__init__构造参数的类型与转换器converter的真实输入类型一致从而在构造调用点捕获非法参数。仓库实现位于 pyrefly/lib/alt/class/attrs.rsfield.converter装饰器attrs 26.2.0 新增attrs_converter_decorator_param方法pyrefly/lib/alt/class/attrs.rs#L268-L271将__init__参数类型解析为装饰器方法value第三位置参数的类型当该参数缺失或未标注时才回退到Any。attrs.converters.pipeattrs_converters_combinator_parampyrefly/lib/alt/class/attrs.rs#L506-L553对pipe(c1, ...)取第一个转换器 c1 的输入类型——因为 c1 最先运行其输出才馈给后续转换器因此__init__参数应匹配第一个输入。attrs.converters.default_if_none非None值会被透传因此__init__参数类型为field type | None与运行时行为一致。泛型函数转换器如copy.deepcopy修复 issue#4155类型变量现在会针对字段声明的类型求解不再泄漏裸TypeVar。裸泛型类转换器convertertuple作用于Sequence[int]字段时会根据字段注解推断元素类型将参数类型定为Iterable[int]。3.functools.partial绑定参数检查与精确剩余签名functools.partial是本版本的另一重头戏全部集中在 pyrefly/lib/alt/functools.rs文件头注释即写明Type-checksfunctools.partial(...)bound arguments and synthesizes residual signatures。其核心机制是构造点检查绑定参数call_functools_partialpyrefly/lib/alt/functools.rs#L50在partial(func, *args, **kwargs)构造时就校验已绑定参数与目标签名是否匹配错误在构造点即可暴露。合成剩余签名partial_residual与partial_residual_callablepyrefly/lib/alt/functools.rs#L522-L571基于已绑定参数裁剪目标签名后续调用只检查剩余参数。泛型保持restore_partial_genericspyrefly/lib/alt/functools.rs#L469-L474将 partial 结果重新作用域到目标仍使用的类型参数上使绑定参数能求解类型变量、剩余签名保持泛型。重载分支解析对重载目标overloaded会匹配到具体的重载分支pyrefly/lib/alt/functools.rs#L225后续调用仍享受重载解析。类构造器与绑定方法partial 包装类构造器时结果仍产生期望的实例类型。属性与窄化partial 结果暴露.func、.args、.keywords属性并能在isinstance检查中正确窄化。**Unpack[TypedDict]展开partial 作用于**Unpack[TypedDict]展开时会展开 TypedDict 字段并正确检查剩余参数。4. 枚举、模式匹配与窄化修复枚举.value对枚举类型而非具体成员取.value时推断为成员字面值literal的联合而不是宽化到 mixin 类型。位置类模式positional class patterns在求解时从__match_args__解析属性名正确窄化匹配的属性。序列模式元素捕获从窄化后的 subject 类型读取使兄弟元素约束能够精化捕获类型。isinstance 作用于 facet对元组元素或联合成员等 facet 进行isinstance检查时会过滤父联合到匹配成员。变长元组解包带固定前缀/后缀的变长元组解包现在精确标注星号捕获类型不再把固定元素涂抹进星号修复enumerate((a, b))场景见 issue#1323x类型为Literal[a] | Literal[b]。三、Polars 与 PandasDataFrame 列级模式推断本版本最大亮点1. 底层数据结构DataFrameSchema本版本的 DataFrame 支持建立在新增的类型表示之上核心数据结构定义在 crates/pyrefly_types/src/data_frame.rsDataFrameSchema结构data_frame.rs#L58-L64保存underlying底层类、有序的columns: Vec(Name, PolarsDType)、completeness、kind与role。SchemaCompleteness枚举data_frame.rs#L23-L26Complete列集合穷尽或Partial部分已知。DataFrameKind枚举data_frame.rs#L40-L43区分 Polars 与 Pandas两者的推断策略不同。SchemaRole枚举data_frame.rs#L49-L52Inferred推断或Contract显式注解声明。2. Polars字典字面量构造出完整 schemaPolars DataFrame 从字典字面量构造时现在会推断出带列名与类型的完整 schema。后续列访问即可被类型检查。实现位于 pyrefly/lib/alt/polars_specials.rs其中infer_dataframe_schemapolars_specials.rs#L999负责构造时的 schema 推断polars_degrade_for_mutationpolars_specials.rs#L147处理变异后的 schema 降级。3. 链式操作的 schema 变换规则保留并变换 schema.select()按给定顺序窄化到命名列、.drop()移除命名列且保留原顺序、.rename()重命名列正确处理交换歧义时回退、.with_columns()追加/覆盖列。保持 schema 不变.filter()、.sort()、.fill_null()只影响行schema 原样保留。列表下标df[[a, b]]将 schema 窄化到选中列并按请求顺序排列。选择器字符串*与正则模式如^col.*$被识别.select(*)、.drop(^col.*$)回退为不报错。列字面量每列从其第一个元素定型不兼容混合时报错匹配 Polars 运行时行为。4. Pandas部分 schemaPartial策略Pandas DataFrame 使用completeness: Partial的部分 schema 跟踪kind: Pandas。已知列被检查同时避免动态列操作如赋值新列带来的误报——这正是SchemaCompleteness::Partial的设计目的在展示display中以...标记未跟踪的列。5. 新增列相关错误在编译期抓运行时拼写错误unknown-column读取 DataFrame 中 schema 里不存在的列时报错polars_specials.rs#L687 等多处把列名拼写错误从运行时提前到检查期。column-type-mismatchPolars 列字面量的元素无法共享一个 dtype 时报错polars_specials.rs#L2123。仓库测试用例可参考 pyrefly/lib/test/polars/dataframe.rs 与 pyrefly/lib/test/pandas/dataframe.rs其中覆盖了构造、链式操作与错误触发场景。四、Language Server补全、悬浮、折叠与 TSP 模式隔离本版本 Language ServerLSP改进同样密集涉及 pyrefly/lib/lsp 与 pyrefly/lib/state/lsp 相关实现误置的# pyrefly: ignore-errors放在代码之后的文件级指令现在产生misplaced-ignore警告提示移到文件顶部。自动导入补全对已通过普通import语句导入的模块不再建议重复条目修复 issue#4109如import json场景。重载方法 docstring实现方法的 docstring 关联到重载链调用点悬浮显示文档issue#3619。导入别名上下文import x as y的y被分类为定义上下文补全不再建议模块路径补全时保留原始导出名生成正确的from model import MyModel as MyModelAlias。内联提示防抖服务端默认 150ms 防抖避免输入时宽度抖动仅在编辑暂停时稳定。关键字参数悬浮从定义模块解析参数类型精化不可用时回退到选中调用签名。and/or悬浮返回包围的布尔表达式范围上下文更完整。协议类重命名正确重命名类符号而非__init__。选区范围selectionRange按 AST 嵌套从表达式到语句到作用域到文档展开并支持#region/#endregion标记含嵌套与# region带空格形式独立于注释段折叠见 issue#3305。TSP 查询getComputedType/getDeclaredType/getExpectedType对未在编辑器中打开的文件也能正确解析。TSP 模式设置隔离作为类型服务器TSP 模式运行时忽略pyrefly.*客户端设置避免过期扩展设置干扰 Pylance。五、Error Reporting8 个新错误种类与输出稳定性1. 新错误种类一览错误种类默认严重级触发场景源码位置unknown-columnerror读取 DataFrame 中不存在的列pyrefly/lib/alt/polars_specials.rscolumn-type-mismatcherrorPolars 列字面量元素无法共享 dtypepyrefly/lib/alt/polars_specials.rs#L2123implicit-reexportignore仅通过普通 import 可得、未显式再导出的名称被导入pyrefly/lib/alt/solve.rs#L4960invalid-type-checking-constanterror用户自定义的TYPE_CHECKING常量不可赋值给boolpyrefly/lib/alt/solve.rs#L3905missing-super-callignore__init__/__new__/__init_subclass__覆写非 object 父类却未调用父类方法pyrefly/lib/alt/class/class_field.rs#L3954empty-bodyignore仅含...的函数体且None不可赋给注解返回类型pyrefly/lib/alt/function.rs#L751unused-call-resultignore丢弃的函数/方法调用结果类型是信息性的非None/Any/Neverpyrefly/lib/alt/solve.rs#L4896invalid-abstract-methodignore在非抽象类中使用abstractmethodpyrefly/lib/alt/solve.rs#L3032其中 5 个新错误种类implicit-reexport、missing-super-call、empty-body、unused-call-result、invalid-abstract-method默认严重级为 ignore需在配置中显式启用。从测试工具 pyrefly/lib/test/util.rs 可以看到它们通过set_error_severity(...)提升为 error 进行测试验证。2. 输出稳定性与格式错误汇总排序按数量再按名称排序并列项确定性断开跨运行输出稳定。full-text-with-github格式先输出可读诊断、再输出 GitHub workflow 命令源码位置在原始日志中保持可见。六、Configuration Toolingcoverage命令增强--public-only保留公共再导出来自被排除文件的公共再导出符号仍被保留只有所有公共再导出位置都被排除时才排除该符号。[coverage]配置表pyrefly coverage命令现在接受[coverage]配置表包含includes和excludes覆盖项目 globs可在不同文件集合上测量覆盖率。--fail-under始终输出 findings无论阈值是否达标都打印缺失项通过时也能看到缺口。私有类排除coverage现在排除私有命名类如_Foo除非通过__all__导出与其他符号种类保持一致。无[tool.pyrefly]的配置文件仅作根标记不含[tool.pyrefly]段的配置文件如pyproject.toml不再遮蔽父级配置除非其中包含 Pyrefly 设置。TOML 解析错误定位指向出错的值本身而非文件开头。优先级规则--project-excludes优先于coverage.excludes位置参数FILES...也覆盖 coverage globs。--fail-under的参数校验可在 pyrefly/lib/commands/coverage/check.rs 看到要求介于 0 到 100 之间覆盖率计算区分 strict 与普通两种口径strict_coverage()与coverage()。七、Bug 修复亮点本版本关闭了48个 bug issue几个代表性修复#4071子类在TypeVarTuple上泛型并覆写父类同为*args: *Ts签名的方法时不再误报bad-override。#3437递归枚举类检查的栈溢出——移除递归 Flag 子类型检查将 Flag 检测移下游。#3354fuzzed NamedTuple 代码的 panic——为非法赋值目标添加独立 binding key避免与合成的函数式 NamedTuple binding 冲突。#3240构造器悬浮类型先解析再渲染防止内部NNN变量泄漏进 tooltip。更多修复包括 #4123、#4125、#4127、#4128、#3330、#3638、#3546、#4107、#3329、#2495、#4034、#4082、#3900、#3435、#3701、#3056、#633、#3857、#3814、#3154、#3085、#2817、#1770、#1689、#1510、#964、#1866、#1084、#4164、#3821、#3727、#3669、#3368、#2504、#2235、#1681、#1663、#1373 等。八、升级指南安全沉默新错误升级 Pyrefly 或第三方库版本可能暴露新类型错误一次性修复不现实。官方提供了临时沉默错误的脚本化流程# 1. 自动为所有错误添加 # pyrefly: ignore 注释 pyrefly check --suppress-errors # 2. 运行你的代码格式化工具 # 3. 移除未使用的 ignore 注释 pyrefly check --remove-unused-ignores # 4. 重复直到格式化与类型检查均干净这套流程会把# pyrefly: ignore注释写入代码先沉默错误、后续再回来修复让大型代码库的升级过程可控。错误抑制的完整机制可参见仓库文档 website/docs/error-suppressions.mdx。总结Pyrefly v1.2.0-dev.3 是一次以精确性为主题的发布DataFrame 列级 schema 推断让 Polars/Pandas 代码获得编译期列检查functools.partial与 attrs 转换器的剩余签名合成把Any退化的参数重新变得可验证8 个新错误种类扩展了可配置的静态检查维度Language Server 的防抖内联提示、region 折叠与 TSP 模式隔离则显著改善了编辑器内体验。作为 dev 快照它适合早期采用者验证这些能力但生产环境应等待 1.2.0 稳定版发布后再升级并沿用--suppress-errors→ 格式化 →--remove-unused-ignores的流程平滑过渡。【免费下载链接】pyreflyA fast type checker and language server for Python项目地址: https://gitcode.com/GitHub_Trending/py/pyrefly创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考
Pyrefly v1.2.0-dev.3 发布全解析：DataFrame 模式推断、functools.partial 精确签名与 8 个新错误种类
Pyrefly v1.2.0-dev.3 发布全解析DataFrame 模式推断、functools.partial 精确签名与 8 个新错误种类【免费下载链接】pyreflyA fast type checker and language server for Python项目地址: https://gitcode.com/GitHub_Trending/py/pyreflyPyrefly v1.2.0-dev.3 是 PyreflyMeta 开源的快速 Python 类型检查器与语言服务器在 1.2.0 稳定版之前的一个开发版快照共打包 250 个提交、29 位贡献者的工作。本指南以该版本发布说明为核心结合仓库源码逐项解析其三大主线Polars/Pandas DataFrame 列级模式推断、functools.partial与 attrs 转换器的精确剩余签名合成、以及 8 个新错误种类与 Language Server 体验改进并给出从 dev 版本平滑升级现有代码库的可执行方案。读完本文你将能利用该版本的新能力提前发现 DataFrame 列名拼写错误、验证 partial 与 attrs 构造参数的类型正确性并借助新错误种类与coverage工具优化类型覆盖流程。一、版本概览dev 快照的定位与升级方式release_notes/release-notes-v1.2.0-dev.3.md明确说明dev 版本X.Y.Z-dev.N形式是周期性从主干trunk切出的非稳定快照用于让早期使用者提前体验进行中的功能并暴露问题但不承担与稳定版相同的稳定性或兼容性保证——官方明确建议不要将生产项目固定pin到 dev 版本。升级到该版本非常简单pip install --upgrade pyrefly1.2.0-dev.3版本定位的工程含义从仓库结构看Pyrefly 的核心类型系统位于 crates/pyrefly_types/src类型检查主逻辑位于 pyrefly/lib命令入口分散在 pyrefly/lib/commands。dev 版本的特点是data_frame.rs这类新增模块可能仍在快速迭代错误种类与配置项的默认值也可能在后续 dev 版本中调整因此在评估是否引入 dev 版本时应以本版本实际行为下文以源码为准为依据。二、类型检查核心增强精确签名、类型变量求解与更细的窄化1. TypedDict 合成__required_keys__/__optional_keys__本版本中TypedDict 类在属性查找attribute lookup时现在会合成__required_keys__和__optional_keys__属性。这修复了 issue#3745此前要求这两个属性的协议例如 langgraph 中的相关协议无法通过结构化检查structural check。现在协议检查可以正确读取 TypedDict 的必需键与可选键集合从而让这类依赖运行时内省属性的库正常通过类型检查。2. attrs 字段转换器让__init__参数类型不再退化为Anyattrs 生态在本版本获得集中加强核心诉求是让__init__构造参数的类型与转换器converter的真实输入类型一致从而在构造调用点捕获非法参数。仓库实现位于 pyrefly/lib/alt/class/attrs.rsfield.converter装饰器attrs 26.2.0 新增attrs_converter_decorator_param方法pyrefly/lib/alt/class/attrs.rs#L268-L271将__init__参数类型解析为装饰器方法value第三位置参数的类型当该参数缺失或未标注时才回退到Any。attrs.converters.pipeattrs_converters_combinator_parampyrefly/lib/alt/class/attrs.rs#L506-L553对pipe(c1, ...)取第一个转换器 c1 的输入类型——因为 c1 最先运行其输出才馈给后续转换器因此__init__参数应匹配第一个输入。attrs.converters.default_if_none非None值会被透传因此__init__参数类型为field type | None与运行时行为一致。泛型函数转换器如copy.deepcopy修复 issue#4155类型变量现在会针对字段声明的类型求解不再泄漏裸TypeVar。裸泛型类转换器convertertuple作用于Sequence[int]字段时会根据字段注解推断元素类型将参数类型定为Iterable[int]。3.functools.partial绑定参数检查与精确剩余签名functools.partial是本版本的另一重头戏全部集中在 pyrefly/lib/alt/functools.rs文件头注释即写明Type-checksfunctools.partial(...)bound arguments and synthesizes residual signatures。其核心机制是构造点检查绑定参数call_functools_partialpyrefly/lib/alt/functools.rs#L50在partial(func, *args, **kwargs)构造时就校验已绑定参数与目标签名是否匹配错误在构造点即可暴露。合成剩余签名partial_residual与partial_residual_callablepyrefly/lib/alt/functools.rs#L522-L571基于已绑定参数裁剪目标签名后续调用只检查剩余参数。泛型保持restore_partial_genericspyrefly/lib/alt/functools.rs#L469-L474将 partial 结果重新作用域到目标仍使用的类型参数上使绑定参数能求解类型变量、剩余签名保持泛型。重载分支解析对重载目标overloaded会匹配到具体的重载分支pyrefly/lib/alt/functools.rs#L225后续调用仍享受重载解析。类构造器与绑定方法partial 包装类构造器时结果仍产生期望的实例类型。属性与窄化partial 结果暴露.func、.args、.keywords属性并能在isinstance检查中正确窄化。**Unpack[TypedDict]展开partial 作用于**Unpack[TypedDict]展开时会展开 TypedDict 字段并正确检查剩余参数。4. 枚举、模式匹配与窄化修复枚举.value对枚举类型而非具体成员取.value时推断为成员字面值literal的联合而不是宽化到 mixin 类型。位置类模式positional class patterns在求解时从__match_args__解析属性名正确窄化匹配的属性。序列模式元素捕获从窄化后的 subject 类型读取使兄弟元素约束能够精化捕获类型。isinstance 作用于 facet对元组元素或联合成员等 facet 进行isinstance检查时会过滤父联合到匹配成员。变长元组解包带固定前缀/后缀的变长元组解包现在精确标注星号捕获类型不再把固定元素涂抹进星号修复enumerate((a, b))场景见 issue#1323x类型为Literal[a] | Literal[b]。三、Polars 与 PandasDataFrame 列级模式推断本版本最大亮点1. 底层数据结构DataFrameSchema本版本的 DataFrame 支持建立在新增的类型表示之上核心数据结构定义在 crates/pyrefly_types/src/data_frame.rsDataFrameSchema结构data_frame.rs#L58-L64保存underlying底层类、有序的columns: Vec(Name, PolarsDType)、completeness、kind与role。SchemaCompleteness枚举data_frame.rs#L23-L26Complete列集合穷尽或Partial部分已知。DataFrameKind枚举data_frame.rs#L40-L43区分 Polars 与 Pandas两者的推断策略不同。SchemaRole枚举data_frame.rs#L49-L52Inferred推断或Contract显式注解声明。2. Polars字典字面量构造出完整 schemaPolars DataFrame 从字典字面量构造时现在会推断出带列名与类型的完整 schema。后续列访问即可被类型检查。实现位于 pyrefly/lib/alt/polars_specials.rs其中infer_dataframe_schemapolars_specials.rs#L999负责构造时的 schema 推断polars_degrade_for_mutationpolars_specials.rs#L147处理变异后的 schema 降级。3. 链式操作的 schema 变换规则保留并变换 schema.select()按给定顺序窄化到命名列、.drop()移除命名列且保留原顺序、.rename()重命名列正确处理交换歧义时回退、.with_columns()追加/覆盖列。保持 schema 不变.filter()、.sort()、.fill_null()只影响行schema 原样保留。列表下标df[[a, b]]将 schema 窄化到选中列并按请求顺序排列。选择器字符串*与正则模式如^col.*$被识别.select(*)、.drop(^col.*$)回退为不报错。列字面量每列从其第一个元素定型不兼容混合时报错匹配 Polars 运行时行为。4. Pandas部分 schemaPartial策略Pandas DataFrame 使用completeness: Partial的部分 schema 跟踪kind: Pandas。已知列被检查同时避免动态列操作如赋值新列带来的误报——这正是SchemaCompleteness::Partial的设计目的在展示display中以...标记未跟踪的列。5. 新增列相关错误在编译期抓运行时拼写错误unknown-column读取 DataFrame 中 schema 里不存在的列时报错polars_specials.rs#L687 等多处把列名拼写错误从运行时提前到检查期。column-type-mismatchPolars 列字面量的元素无法共享一个 dtype 时报错polars_specials.rs#L2123。仓库测试用例可参考 pyrefly/lib/test/polars/dataframe.rs 与 pyrefly/lib/test/pandas/dataframe.rs其中覆盖了构造、链式操作与错误触发场景。四、Language Server补全、悬浮、折叠与 TSP 模式隔离本版本 Language ServerLSP改进同样密集涉及 pyrefly/lib/lsp 与 pyrefly/lib/state/lsp 相关实现误置的# pyrefly: ignore-errors放在代码之后的文件级指令现在产生misplaced-ignore警告提示移到文件顶部。自动导入补全对已通过普通import语句导入的模块不再建议重复条目修复 issue#4109如import json场景。重载方法 docstring实现方法的 docstring 关联到重载链调用点悬浮显示文档issue#3619。导入别名上下文import x as y的y被分类为定义上下文补全不再建议模块路径补全时保留原始导出名生成正确的from model import MyModel as MyModelAlias。内联提示防抖服务端默认 150ms 防抖避免输入时宽度抖动仅在编辑暂停时稳定。关键字参数悬浮从定义模块解析参数类型精化不可用时回退到选中调用签名。and/or悬浮返回包围的布尔表达式范围上下文更完整。协议类重命名正确重命名类符号而非__init__。选区范围selectionRange按 AST 嵌套从表达式到语句到作用域到文档展开并支持#region/#endregion标记含嵌套与# region带空格形式独立于注释段折叠见 issue#3305。TSP 查询getComputedType/getDeclaredType/getExpectedType对未在编辑器中打开的文件也能正确解析。TSP 模式设置隔离作为类型服务器TSP 模式运行时忽略pyrefly.*客户端设置避免过期扩展设置干扰 Pylance。五、Error Reporting8 个新错误种类与输出稳定性1. 新错误种类一览错误种类默认严重级触发场景源码位置unknown-columnerror读取 DataFrame 中不存在的列pyrefly/lib/alt/polars_specials.rscolumn-type-mismatcherrorPolars 列字面量元素无法共享 dtypepyrefly/lib/alt/polars_specials.rs#L2123implicit-reexportignore仅通过普通 import 可得、未显式再导出的名称被导入pyrefly/lib/alt/solve.rs#L4960invalid-type-checking-constanterror用户自定义的TYPE_CHECKING常量不可赋值给boolpyrefly/lib/alt/solve.rs#L3905missing-super-callignore__init__/__new__/__init_subclass__覆写非 object 父类却未调用父类方法pyrefly/lib/alt/class/class_field.rs#L3954empty-bodyignore仅含...的函数体且None不可赋给注解返回类型pyrefly/lib/alt/function.rs#L751unused-call-resultignore丢弃的函数/方法调用结果类型是信息性的非None/Any/Neverpyrefly/lib/alt/solve.rs#L4896invalid-abstract-methodignore在非抽象类中使用abstractmethodpyrefly/lib/alt/solve.rs#L3032其中 5 个新错误种类implicit-reexport、missing-super-call、empty-body、unused-call-result、invalid-abstract-method默认严重级为 ignore需在配置中显式启用。从测试工具 pyrefly/lib/test/util.rs 可以看到它们通过set_error_severity(...)提升为 error 进行测试验证。2. 输出稳定性与格式错误汇总排序按数量再按名称排序并列项确定性断开跨运行输出稳定。full-text-with-github格式先输出可读诊断、再输出 GitHub workflow 命令源码位置在原始日志中保持可见。六、Configuration Toolingcoverage命令增强--public-only保留公共再导出来自被排除文件的公共再导出符号仍被保留只有所有公共再导出位置都被排除时才排除该符号。[coverage]配置表pyrefly coverage命令现在接受[coverage]配置表包含includes和excludes覆盖项目 globs可在不同文件集合上测量覆盖率。--fail-under始终输出 findings无论阈值是否达标都打印缺失项通过时也能看到缺口。私有类排除coverage现在排除私有命名类如_Foo除非通过__all__导出与其他符号种类保持一致。无[tool.pyrefly]的配置文件仅作根标记不含[tool.pyrefly]段的配置文件如pyproject.toml不再遮蔽父级配置除非其中包含 Pyrefly 设置。TOML 解析错误定位指向出错的值本身而非文件开头。优先级规则--project-excludes优先于coverage.excludes位置参数FILES...也覆盖 coverage globs。--fail-under的参数校验可在 pyrefly/lib/commands/coverage/check.rs 看到要求介于 0 到 100 之间覆盖率计算区分 strict 与普通两种口径strict_coverage()与coverage()。七、Bug 修复亮点本版本关闭了48个 bug issue几个代表性修复#4071子类在TypeVarTuple上泛型并覆写父类同为*args: *Ts签名的方法时不再误报bad-override。#3437递归枚举类检查的栈溢出——移除递归 Flag 子类型检查将 Flag 检测移下游。#3354fuzzed NamedTuple 代码的 panic——为非法赋值目标添加独立 binding key避免与合成的函数式 NamedTuple binding 冲突。#3240构造器悬浮类型先解析再渲染防止内部NNN变量泄漏进 tooltip。更多修复包括 #4123、#4125、#4127、#4128、#3330、#3638、#3546、#4107、#3329、#2495、#4034、#4082、#3900、#3435、#3701、#3056、#633、#3857、#3814、#3154、#3085、#2817、#1770、#1689、#1510、#964、#1866、#1084、#4164、#3821、#3727、#3669、#3368、#2504、#2235、#1681、#1663、#1373 等。八、升级指南安全沉默新错误升级 Pyrefly 或第三方库版本可能暴露新类型错误一次性修复不现实。官方提供了临时沉默错误的脚本化流程# 1. 自动为所有错误添加 # pyrefly: ignore 注释 pyrefly check --suppress-errors # 2. 运行你的代码格式化工具 # 3. 移除未使用的 ignore 注释 pyrefly check --remove-unused-ignores # 4. 重复直到格式化与类型检查均干净这套流程会把# pyrefly: ignore注释写入代码先沉默错误、后续再回来修复让大型代码库的升级过程可控。错误抑制的完整机制可参见仓库文档 website/docs/error-suppressions.mdx。总结Pyrefly v1.2.0-dev.3 是一次以精确性为主题的发布DataFrame 列级 schema 推断让 Polars/Pandas 代码获得编译期列检查functools.partial与 attrs 转换器的剩余签名合成把Any退化的参数重新变得可验证8 个新错误种类扩展了可配置的静态检查维度Language Server 的防抖内联提示、region 折叠与 TSP 模式隔离则显著改善了编辑器内体验。作为 dev 快照它适合早期采用者验证这些能力但生产环境应等待 1.2.0 稳定版发布后再升级并沿用--suppress-errors→ 格式化 →--remove-unused-ignores的流程平滑过渡。【免费下载链接】pyreflyA fast type checker and language server for Python项目地址: https://gitcode.com/GitHub_Trending/py/pyrefly创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考
 模块使用指南：从积压管理到冲刺燃尽图)
