3 ms·
>They can't prove everything, but they do prove certain things Much like tests then?
by crdoconnor 11y ago
>They can't prove everything, but they do prove certain things
Much like tests then?
- mike_hock 11y agoTests actually prove very little. They probe the code with a few, isolated inputs out of a usually very large domain. Their nature is more stochastic. Static type guarantees are actual proofs (barring a compiler bug), and they narrow down the domain that your tests have to probe.