Learn Type-Driven Development

Table of Contents

1. Start Type-Driven Development
2. Program with types and values
3. Package types and values together
4. Group values together in types
5. Put alternative values in types
6. Make types that can
7. " Make types that represent operations"
8. "Reuse code with many different types"
9. "Extend types with new behavior"
10. "Bring it all together"