https://plumephp.com/tags/%E7%B1%BB%E5%9E%8B%E9%A9%B1%E5%8A%A8/Recent content in 类型驱动 on PlumePHPHugozh-CNMon, 28 Sep 2026 12:00:00 +0800https://plumephp.com/typescript-type-first-development/Mon, 28 Sep 2026 12:00:00 +0800https://plumephp.com/typescript-type-first-development/<h2 id="引言">引言</h2> <p>TDD（测试驱动开发）主张「先写失败测试，再写实现」；Type-First 主张「先写类型，再写实现」——让 <strong>TypeScript 编译器在动手写逻辑前就把接口契约焊死</strong>。这不是「多用类型」的口号，而是一套可执行的流程：定义输入/输出类型 → 用 <code>satisfies</code>/泛型约束锁住形状 → 实现逻辑直到「编译通过 + 类型收窄正确」→ 用测试验证行为而非形状。类型与测试从此各司其职：<strong>类型管形状，测试管行为</strong>。本文将把这条路径拆成可落地的工程实践。</p>