Book Content
chapters • 6h total length
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 ‘slot in’ any other type
7. " Make types that represent operations"
8. "Reuse code with many different types"
9. "Extend types with new behavior"
10. "Bring it all together"
