News for hackers. Stuff that matters.
Re:PyCon US 2021 Recordings are Available by fulafel on Saturday June 05, 2021 @01:32AM (#27402496)
Is this eliminated class of bugs just generally the ones that aren't caught by tests but could be caught by static type annotations, or was there a discussion of the kinds of bugs that had some convincing details?
Re:PyCon US 2021 Recordings are Available by aix1 on Saturday June 05, 2021 @04:20AM (#27403242)
I think there's considerable overlap between classes of bugs that could be caught by static type checking and those that could be caught by unit tests. That said, I view the two as complementary and use both extensively.

One particularly interesting (though in my experience, rare) class of bugs are typing errors _in unit tests_. For example, an API under test expects one thing and a unit test supplies something else. If the test passes, it's hard to spot the problem without static type checking.