trove-principle-type-discipline

类型系统纪律 —— 将类型检查器视为证明助手：让非法状态无法表示，为语义原语打上标记，在边界处解析外部数据，穷尽所有变体，不要对编译器撒谎。适用于任何静态类型语言。在 TypeScript、Python（类型提示/Pydantic）、Swift 或类似语言中设计类型或签名时使用。

模型生成摘要（rules/v1 · 2026-11-15 16:49）：类型系统纪律 —— 将类型检查器视为证明助手：让非法状态无法表示，为语义原语打上标记，在边界处解析外部数据，穷尽所有变体，不要对编译器撒谎
这是模型对公开材料的总结，不是官方声明，请以原链内容为准。

存档时间线

版本	存档时间	内容哈希	内容
v1	2026-11-15 16:49	17d8538f	可取

版本索引永久保留；内容副本只保留最新 1 份，更早版本仅留索引与哈希（存档时间线的证据链不会因此断裂）。

纠错与举报（发现条目失效、署名有误或涉及侵权？）

提交举报 / 纠错

侵权举报经核验成立后，我们会即时下线该条目并删除已存的内容副本。