It does help for logic errors too, with, eg, sum types and traits and abstraction.

Also better defaults.