principle-type-system-discipline - 类型系统纪律指南类型系统代码审查代码重构类型安全更新于 2026-09-15指导静态类型语言中的类型设计与代码审查,通过消除非法状态、解析边界数据和完备匹配保障类型安全。⚙ 使非法状态无法表达⚙ 标记语义基础类型⚙ 在边界解析外部数据