|
|
|
|
|
|
by zozbot234
1546 days ago
|
|
|
> fast cycles are liberating, because it's easy to just ask the compiler or your testing harness if you're doing the right Type checking is still a very quick part of compile, so it can still support a "fast cycle" workflow if most simple errors are detected via incompatible types. You just need to go all-in on type-driven development, rather than simple reliance on unit tests. |
|
|
but yeah, types are great. Quickcheck is great too. But you'll have to pry my oracles from my cold dead hands. Computers show me over and over how stupid I am. Yeah, if I have a regression, I'm adding a specific test for that.