Pretty much any null pointer deference error ever? But it is hardly ever the weak type system that is at fault, just good use of a stronger type system could h

Pretty much any null pointer deference error ever? But it is hardly ever the weak type system that is at fault, just good use of a stronger type system could have prevented the issue. Once you start to make "invalid states unpresentable" and enforcing those states at the edges of your type system suddenly a lot of bizarre errors don't happen anymore.