"But although types reduce the need for tests, they rarely eliminate it entirely" - from the first page of Chapter 1 of Type Driven Development with Idris. I am a bad static typing advocate :).
Quote Tweet
Just saw another thread of arguing about whether static type systems can replace tests. Neither of them can do everything the other does, and by choosing a "side" here you limit the ways in which you can gain confidence about a system. Relevant: destroyallsoftware.com/talks/ideology
Show this thread
3
14
91
