Change type checker from mypy to ty
Problem or motivation
It would be relevant to change the type checker from mypy to ty, as our project is developped with uv, built with uv_build, and linted with ruff. Integrating ty in this linting stack would be the next logical step, to have a well integreted type checker with the rest of our stack (all maintained by Astral).
It would be relevant to integrate ty when he becomes stable (currently in 0.0.x version, and not widely adopted).
Proposed solution
Replace mypy conf in pyproject.toml by ty conf, and replace mypy in quality group dependencies by ty (with a fixed version), apply uv lock, replace mypy in pre-commit-config by ty, replace mypy in Makefiles and github actions by ty, patch potential new ty warnings (and check if current type ignore comments are relevant with ty).
Alternatives considered
- Keep
mypy: mature, reliable but inconsistent with the rest of our toolchain.
Additional context
https://docs.astral.sh/ty/
Change type checker from mypy to ty
Problem or motivation
It would be relevant to change the type checker from
mypytoty, as our project is developped withuv, built withuv_build, and linted withruff. Integratingtyin this linting stack would be the next logical step, to have a well integreted type checker with the rest of our stack (all maintained by Astral).It would be relevant to integrate
tywhen he becomes stable (currently in0.0.xversion, and not widely adopted).Proposed solution
Replace
mypyconf inpyproject.tomlbytyconf, and replacemypyinqualitygroup dependencies byty(with a fixed version), applyuv lock, replacemypyinpre-commit-configbyty, replacemypyin Makefiles and github actions byty, patch potential newtywarnings (and check if currenttype ignorecomments are relevant withty).Alternatives considered
mypy: mature, reliable but inconsistent with the rest of our toolchain.Additional context
https://docs.astral.sh/ty/