|
|
|
|
|
|
by the_af
400 days ago
|
|
|
The same can be said of tests. Types are just tests. By removing all the mindless, repetitive tests you write, typechecking can free you up to write the actual meaningful tests that you truly need to write. It's not "pick one", it's "use type checking to help you only write the unit tests that matter". |
|
|