类型系统纪律

在静态类型语言中设计或审查代码时，通过使非法状态不可表示、品牌化语义原语及严格边界解析，确保类型安全与编译器信任。