5 ms·
I would tend to rely on a single tool, do you see advantages to use both? Do you happen to have discrepancies between both? (e.g. an error raised by one and no
by cbenz 2y ago
I would tend to rely on a single tool, do you see advantages to use both?
Do you happen to have discrepancies between both? (e.g. an error raised by one and not the other)
- wdroz 2y agoI prefer mypy but sometimes pyright supports new PEPs before mypy, so if you like experimenting with cutting-edge python, you may have to switch time to time.