type-driven-tdd

在静态类型语言中，不预先定义类型，而是通过使用者代码暴露出的类型错误（标记为Red），然后以最小的类型定义使其通过（标记为Green），再进行抽象和重构（Refactor）。该方法用于通过类型设计API、领域模型和依赖边界。它不替代用于验证运行时行为的常规TDD。

模型生成摘要（rules/v1 · 2026-11-13 18:28）：在静态类型语言中，不预先定义类型，而是通过使用者代码暴露出的类型错误（标记为Red），然后以最小的类型定义使其通过（标记为Green），再进行抽象和重构（Refactor）
这是模型对公开材料的总结，不是官方声明，请以原链内容为准。

存档时间线

版本	存档时间	内容哈希	内容
v1	2026-11-13 18:28	e992f924	可取

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

下载存档内容副本

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

提交举报 / 纠错

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