Some people don’t understand that reducing bugs and eliminating entire classes of bugs is progress. Their “gotcha” is that it’s still possible to write logic bugs, and therefore what’s the point of any language improvements?