René's URL Explorer Experiment

Title: refactor: replace mypy with ty for static type checking by bearomorphism · Pull Request #1932 · commitizen-tools/commitizen · GitHub

Open Graph Title: refactor: replace mypy with ty for static type checking by bearomorphism · Pull Request #1932 · commitizen-tools/commitizen

X Title: refactor: replace mypy with ty for static type checking by bearomorphism · Pull Request #1932 · commitizen-tools/commitizen

Description: Switch the linters group and poe lint from mypy to Astral ty, add [tool.ty] configuration, and adjust code and tests for ty semantics. Made-with: Cursor, GitHub Copilot CLI Description Replace mypy with ty (Astral's Python type checker) for static type checking. ty is significantly faster and integrates well with the existing ruff toolchain. Key changes Replace mypy with ty in the linters dependency group and poe lint task Add [tool.ty] configuration in pyproject.toml Bump ty minimum to >=0.0.33 to leverage declared-type preference (removes unnecessary cast() workarounds) Remove cast() calls where ty 0.0.33 can infer types from annotated assignments Adjust # type: ignore comments to use bare form (ty doesn't support mypy-specific error codes like [arg-type]) Update AGENTS.md references from mypy to ty Why each change is necessary All changes in this PR are required for ty compatibility — no cosmetic-only changes: File(s) Change Reason pyproject.toml Replace mypy with ty, add [tool.ty] config, bump to >=0.0.33 Core migration commitizen/commands/bump.py Remove 2 cast() calls, add TODO on remaining ty 0.0.33 declared-type preference makes them unnecessary commitizen/commands/changelog.py Replace cast() with annotated assignment ty 0.0.33 declared-type preference commitizen/version_schemes.py Replace cast() with annotated assignment, update comment ty 0.0.33 declared-type preference; "mypy check" → "static type checking" scripts/gen_cli_help_screenshots.py Replace 2 cast() calls with annotated assignments ty 0.0.33 declared-type preference commitizen/changelog_formats/__init__.py Refactor name and X or Y to explicit if/else; rename format → format_cls ty can't narrow the short-circuit and/or pattern; avoids shadowing Python builtin commitizen/changelog.py Add isinstance(msg, dict) guard ty requires explicit narrowing for dict type in mixed-type iteration commitizen/cz/customize/customize.py Reformat multiline to separate # type: ignore from # pragma: no cover ty doesn't support [no-any-return] error code commitizen/providers/*.py Change # type: ignore[index] → # type: ignore # noqa: PGH003; rename pyproject → document in poetry_provider to match parent class ty doesn't support mypy error codes; consistency with base_provider.py commitizen/cli.py, commitizen/git.py, commitizen/config/*.py, commitizen/cz/** Adjust # type: ignore comments ty uses bare # type: ignore (no mypy-specific codes) tests/test_cli.py Change "" → None in commitizen_excepthook() calls ty correctly catches "" is not TracebackType | None tests/test_cz_search_filter.py Change path="not_exist.toml" → path=Path("not_exist.toml") ty correctly catches string is not Path tests/test_changelog.py Add cast() for release["changes"] lookups, add test for non-dict skip Fix 4 pre-existing diagnostics; cover isinstance guard added for ty tests/commands/test_version_command.py Fix # type: ignore[arg-type] → bare form, remove orphaned TYPE_CHECKING ty syntax compatibility docs/contributing/contributing_tldr.md Update mypy references to ty Documentation accuracy AGENTS.md Update 3 mypy references to ty Project guidelines accuracy Checklist I have read the contributing guidelines Was generative AI tooling used to co-author this PR? Yes — Cursor, GitHub Copilot CLI Code Changes Run uv run poe all locally to ensure this change passes linter check and tests Manually test the changes: Verify uv run ty check passes with zero diagnostics Verify uv run ruff check passes Ensure backward compatibility is maintained (no runtime behavior changes — casts are no-ops, test fixes are type-correct) Update the documentation for the changes (docs/contributing/contributing_tldr.md, AGENTS.md) Expected Behavior uv run poe lint runs ruff check + ty check instead of ruff check + mypy uv run ty check reports zero diagnostics All existing tests continue to pass unchanged No runtime behavior changes (type annotations and casts are purely static; test argument fixes pass correct types) Steps to Test This Pull Request uv sync --group linters uv run ty check — should report zero diagnostics uv run ruff check — should pass uv run poe test — all tests pass Additional Context ty 0.0.33 (released April 28, 2026) introduced a "declared-type preference" feature that allows removing cast() workarounds where the RHS returns Any/Unknown but an annotation is present. Remaining casts are for cases ty genuinely cannot infer: protocol conformance (VersionScheme), TypedDict construction from spread dicts, and union narrowing in loops. One TODO remains in commitizen/commands/bump.py for a cast that can be removed once self.file_name is narrowed to str (currently str | None).

Open Graph Description: Switch the linters group and poe lint from mypy to Astral ty, add [tool.ty] configuration, and adjust code and tests for ty semantics. Made-with: Cursor, GitHub Copilot CLI Description Replace mypy...

X Description: Switch the linters group and poe lint from mypy to Astral ty, add [tool.ty] configuration, and adjust code and tests for ty semantics. Made-with: Cursor, GitHub Copilot CLI Description Replace mypy...

Opengraph URL: https://github.com/commitizen-tools/commitizen/pull/1932

X: @github

direct link

Domain: github.com

Links:

Viewport: width=device-width