2 ms·
Which goes to show how much type systems are really adjuncts to testing, rather than something qualitatively different from and better than testing.
by pekk 12y ago
Which goes to show how much type systems are really adjuncts to testing, rather than something qualitatively different from and better than testing.