News for hackers. Stuff that matters.
Re:Ask HN: Which Python Type Checker? by darthrupert on Saturday March 18, 2023 @09:17AM (#35208863)
I've had best experiences with pyright, i.e. fewer false negatives, reasonable speeds and good error messages.
Re:Ask HN: Which Python Type Checker? by parentheses on Saturday March 18, 2023 @12:55PM (#35210766)
Thank you. That’s what I started with last night. That was the default on my previous project as well. It seemed like a good shortcut decision.

What kinds of false negatives are we talking about? Are you referring to mixing untyped and typed code?

How is the support for libraries? Does support depend on using one typechecker in particular?