BasedPyright 新增严格模式配置与诊断级别优化方案

项目背景

BasedPyright 作为 Python 类型检查工具，近期针对其诊断规则和配置选项进行了重要优化。这些改进主要涉及两个核心方面：诊断级别的重新划分以及新增的严格模式配置选项。

诊断级别优化

项目团队对类型检查模式进行了重新设计，引入了一个新的"recommended"模式。这个模式与原有的"all"模式相比，最大的区别在于：

1. 将部分非关键性诊断从错误(error)降级为警告(warning)
2. 保留了可能导致运行时崩溃的关键类型错误作为错误级别
3. 提供了更合理的默认配置，平衡了严格性和实用性

这种分级处理使得开发者能够：

• 在CI流程中重点关注可能引发严重问题的类型错误
• 同时仍能注意到潜在问题但不强制阻断流程的警告

新增严格模式配置

为了配合新的诊断级别，项目新增了failOnWarnings配置选项：

1. 该选项默认关闭，允许警告不影响CI流程
2. 当启用时，会将所有警告提升为错误，使CI流程失败
3. 可通过CLI参数--warnings或配置文件进行设置

这一配置特别适合以下场景：

• 项目初期希望逐步引入类型检查
• 大型代码库迁移过程中需要分阶段处理问题
• 团队希望区分关键错误和非关键警告

技术实现考量

在实现这些改进时，项目团队考虑了多个技术因素：

1. 默认配置策略：从"所有规则默认开启"调整为"严格模式默认开启，其他规则警告"
2. 用户体验优化：通过分级显示减少大型项目的错误列表视觉干扰
3. 向后兼容：保留原有"all"模式，同时推荐使用新的"recommended"模式

实际应用建议

对于不同规模的项目，建议采用以下配置策略：

• 新项目/严格项目：使用"recommended"模式并启用failOnWarnings
• 大型遗留项目：先使用"recommended"模式，逐步修复警告后再启用严格模式
• 渐进式迁移：从基本检查开始，逐步增加规则严格度

这些改进使BasedPyright在保持强大类型检查能力的同时，提供了更灵活的配置选项，能够更好地适应不同项目和团队的工作流程需求。