Better types = fewer tests
summary
Explains how richer static types and typed functional programming reduce the need for tests by encoding invariants in types; discusses typed FP techniques and tools (examples/repository at https://github.com/47deg/types-vs-tests) and how using types changes testing strategy for programs.
AI-written summary · about
chapters (6)
- 0:00Introduction
- 3:13Software quality and tests
- 17:45Functional programming and types
- 29:49Refined types and effects
- 37:09Runtime and abstraction
- 43:18Q&A
