Re:Code is Engineering; Types are Science
by tsimionescu on Monday April 06, 2020 @12:43PM
(#22795231)
I have no idea, but here is some speculation:
- perhaps Haskell programs end up being more feature-ful within a given bug budget
- perhaps Haskell induces more logic bugs, because it is more alien to the regular way of thinking
- perhaps the vast majority of NPEs are actually logic bugs, so that preventing them through the type system does not actually significantly reduce the number of bugs
- perhaps the study had some flaws in how it was counting issues
- perhaps some or all of the above are true, in various proportions
- perhaps Haskell programs end up being more feature-ful within a given bug budget
- perhaps Haskell induces more logic bugs, because it is more alien to the regular way of thinking
- perhaps the vast majority of NPEs are actually logic bugs, so that preventing them through the type system does not actually significantly reduce the number of bugs
- perhaps the study had some flaws in how it was counting issues
- perhaps some or all of the above are true, in various proportions