[matanrubin]

The article mentions that MyPy and PyType use two different type system models and therefore may report different errors. Does it make sense to use both of them on a large codebase? I've been working with MyPy for a while and it has gotten pretty good and fast. Assuming PyType is a valuable tool, I think I'll try adding it to our CI pipeline and see if we get new typing errors.

[guram11]

curious what do you do when each type systems agree and disagree with the other?

[Mehdi2277]

You determine which is right and report a bug in the other. After that you add a type ignore statement to keep the wrong one happy until the issue is resolved. My current workplace I have two type checkers enabled (mypy/pyright) and that’s our way of dealing with it.