specsfy-specialist-typescript

TypeScript

流程

1. 检查 tsconfig、package 类型、打包器、运行时和版本。
2. 识别不可信边界和公共类型。
3. 使用联合类型、类型收窄和不变量来建模有效状态。
4. 在内部进行类型推断，并在需要稳定契约的 API 处添加类型注解。
5. 消除修改区域中没有充分理由的 any、类型断言和 !。
6. 在为外部数据指定类型前，先在运行时验证。
7. 在实际目标上运行类型检查、测试、lint 和构建。

模式

• 启用兼容的 strict 选项，并在不使用表面化类型转换的情况下修复错误。
• 优先使用判别联合，而不是可能产生无效组合的布尔值。
• 在边界处使用 unknown，并进行显式类型收窄。
• 仅在值之间存在真实关系时使用泛型，并尽量减少泛型。
• 如果对象字面量或联合类型能保留互操作性，则避免使用枚举。
• 分离仅用于类型的导入，并遵循项目的 ESM/CJS 配置。
• 当类型推断回归可能造成影响时，测试公共类型。

验证

• 以不生成输出的方式进行类型检查，并构建所有目标。
• 对运行时验证和序列化进行测试。
• 对于库，检查 API 声明和使用者兼容性。
• 定向搜索 suppressions、双重类型转换和重复类型。

阅读 references/standards.md，了解建模、 配置、模块、库和运行时验证。