It's an interesting list. But I think this shows that formal categories like "decidable" aren't all that useful in practice. For example, Java has lots of flaws, but undecidable type-checking...
It's an interesting list. But I think this shows that formal categories like "decidable" aren't all that useful in practice. For example, Java has lots of flaws, but undecidable type-checking doesn't rate very high among those flaws, because getting the compiler stuck in an infinite loop doesn't seem to be something Java programmers normally need to worry about for non-contrived programs.
It's an interesting list. But I think this shows that formal categories like "decidable" aren't all that useful in practice. For example, Java has lots of flaws, but undecidable type-checking doesn't rate very high among those flaws, because getting the compiler stuck in an infinite loop doesn't seem to be something Java programmers normally need to worry about for non-contrived programs.