3 ms·
Yes. Types are a great way to communicate with the compiler and fellow humans, but they do not replace tests.
by nelsonic 7y ago
Yes. Types are a great way to communicate with the compiler and fellow humans, but they do not replace tests.
- hinkley 7y agoI liken a few different things to Zeno’s paradox. Types might save you from 10% of your failure modes. And the next tool, and every one after, fix 10% of what’s left. But you never arrive. Or alternatively, every efficient method of code verification just results in more code. Each product is “worth” so many man-years and so anything that reduces effort just increases scope. Which may also explain program bloat; adding three libraries gives me time to... add two more libraries.
- nelsonic 7y agoGood points. Thanks for the reminder of Zeon's Pradoxes. https://en.wikipedia.org/wiki/Zeno%27s_paradoxes https://en.wikipedia.org/wiki/Zeno%27s_paradoxes +1