Re:Python 3 Types in the Wild: A Tale of Two Type Systems [pdf]
by matanrubin on Wednesday April 14, 2021 @11:49PM
(#26816017)
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.
[ Parent
| on HN ]
Re:Python 3 Types in the Wild: A Tale of Two Type Systems [pdf]
by guram11 on Thursday April 15, 2021 @12:52AM
(#26816306)
curious what do you do when each type systems agree and disagree with the other?
Re:Python 3 Types in the Wild: A Tale of Two Type Systems [pdf]
by Mehdi2277 on Thursday April 15, 2021 @05:16AM
(#26818061)
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.