4 ms·
A good type system makes the 2nd change you proposed a joy to make.
by domlebo70 8y ago
A good type system makes the 2nd change you proposed a joy to make.
- sudhirj 8y agoOh, absolutely. A good type system also makes unnecessary to write tests asserting that your implementation uses exact / concrete types. A good type system would allow you to have a clean and sane 'Eatable' concept (interface / trait / protocol) that you can use and assert instead.