4 ms·
A well-designed type system reduces the number of tests needed by allowing the programmer to enforce correctness through the type system itself.
by ankhmoop 18y ago
A well-designed type system reduces the number of tests needed by allowing the programmer to enforce correctness through the type system itself.