4 ms·
`mypy` originally had first-mover advantage, `pyright` has late-mover advantage. Now that we're in the mid-to-late stage of Python typecheckers, `pyright` has
by gen220 3y ago
`mypy` originally had first-mover advantage, `pyright` has late-mover advantage.
Now that we're in the mid-to-late stage of Python typecheckers, `pyright` has a better intercept and slope than `mypy`.
I think there'll be one last typechecker to rule them all written in Rust – but we're not there yet, so use `pyright`.
- guappa 3y agoWhy would a typechecker written in rust be able to implement a different logic than one written in any other language? And one written in python could just use python for the grammar so it would have the advantage of always loading the code the same exact way as python does.
- 0xFF0123 3y agoIt would be significantly faster