什么是 Type Driven Development ？ 第1页

EB 那本书里的吧，一言以概，Test-driven development 用测试约束程序行为，Type-driven 用（复杂的）类型系统约束程序行为，让编译器强迫你按照某种「正确」方式实现出来。

为什么其他语言不这么干呢？因为它们的类型机制没有强到可以描述逻辑。

Type-driven development is a style of programming in which we write types first and use those types to guide the definition of functions. The overall process is to write the necessary data types, and then, for each function, do the following:
- Write the input and output types.
- Define the function, using the structure of the input types to guide the implementation.
- Refine and edit the type and function definition as necessary.