@nedbat mypy is not the mostly used typing tool, and the more widely used ones eg pylance don't support plugins. Also mypy plugin development is a bottomless pit of despair , that too
@zzzeek Also, mypy isn't the most widely used? I would have thought it was clearly the most widely used. How do you determine that?
@hynek @nedbat @zzzeek it all depends on the type of code you write I suppose because I would say that mypy is the lowest common denominator as pyright covers typing more fully than mypy. It doesn't have plugins which is the downside when neither can support some construct and *someone* develops a mypy plugin for it but not many do.