top | item 41807787 (no title) cbenz | 1 year 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) discuss order hn newest wdroz|1 year ago I 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.
wdroz|1 year ago I 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.
wdroz|1 year ago