3 ms·

>Another order reversal: type systems allow you to focus on programming, instead of hunting around for bugs Except that is false. Bug prevalence is empiricall

• tines 10y ago
  But this is in deployment software, i.e. I interpret your assertion as meaning "bug prevalence in software after it has been debugged is the same regardless of type system." My argument is that, at least for me, code becomes bug-free faster with static types than with dynamic, not that it ends up more bug-free in the end.
• dancek 10y ago
  Are you saying that Xmonad is buggy? I never realized that, but I'm quite new to it. I'd think I've seen other window managers crash with similar amount of use, though. Or are you saying that Xmonad is not buggy? But then I don't understand how it relates to empirical orthogonality at all.
  • taeric 10y ago
    Window managers crash often? I can't think of the last time I saw one do so.