3 ms·
I've never had to spend all my time doing that. I am making the case that type errors (passing a hash instead of an int, etc) are NOT one of the major causes o
by mpdehaan2 12y ago
I've never had to spend all my time doing that. I am making the case that type errors (passing a hash instead of an int, etc) are NOT one of the major causes of errors in software development.
I'm apt to screw up other things, but that's not one of them.
- marcosdumay 12y ago> I am making the case that type errors are NOT one of the major causes of errors in software development. That's symptom of a bad typing system. I'm with a moderately sized Haskell codebase right now and type errors represent the biggest share of errors on it by a huge margin - several times bigger than runtime bugs.
- mpdehaan2 12y agoHaskell makes programming into a duel with the type system specifiers.
- tome 12y agoI prefer to think of it as a dialectic.
- marcosdumay 12y agoYes, it does. That duel replaces a chase on unknown and strange runtime bugs. Sometimes it's a win, other times it isn't.
- mpdehaan2 12y agoHaskell makes programming into a duel with the type system specifiers.