Comment by spooky_deep
Comment by spooky_deep 9 hours ago
Type checks are proofs across all inputs. Tests are proofs across a given set of inputs. They are complimentary. If you want really robust code, use both.
Comment by spooky_deep 9 hours ago
Type checks are proofs across all inputs. Tests are proofs across a given set of inputs. They are complimentary. If you want really robust code, use both.
As a general rule of thumb, once you have proper tests, static typing doesn't find very much, if anything.