Ruff is definitely faster by lacking type-checking. That requires way more analysis. Ruff will work fine without type hints. I believe it rightfully leaves it

Ruff is definitely faster by lacking type-checking. That requires way more analysis. Ruff will work fine without type hints. I believe it rightfully leaves it to mypy for those who want those features. Mypy transpiles itself to c using mypyc and that can still take a while to complete when caches get invalidated.