4 ms·
I see that appeal of Haskell, and I think the strict focus on typing does catch many possible bugs... but I don't think it catches all the types of bugs that an
by lectrick 11y ago
I see that appeal of Haskell, and I think the strict focus on typing does catch many possible bugs... but I don't think it catches all the types of bugs that an actual unit test would, so I'm almost afraid that it's leaned on a bit too much.
- tome 11y ago> but I don't think it catches all the types of bugs that an actual unit test would You are correct. Likewise types can catch some bugs that unit tests cannot.
- prodigal_erik 11y agoThere is always a unit test which could catch any type mismatch. The problem is that every type declaration implies a set of unit tests (probably an unbounded set!) and in practice it's not likely you'll actually write enough of them.