feat: Replace pyright with ty for type checking #517
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
added 2 commits
January 17, 2026 02:58
- Replace pyright with ty (Astral's new Rust-based type checker) - Add ty: ignore comments to baseline existing issues - Update prek hook to use ty instead of pyright - ty is 10-60x faster than pyright with stricter defaults The 31 remaining warnings are about unused `type: ignore` comments from the pyright era - can be cleaned up incrementally.
These are leftover # type: ignore comments from pyright that ty doesn't need. Can be cleaned up incrementally.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Summary
Replaces pyright with ty, Astral's new Rust-based type checker.
Stacked on #516 (add-prek)
Changes
# ty: ignorecomments to baseline 269 existing issuesuv run ty check src testsWhy ty?
--add-ignoreflag lets us adopt without fixing all existing issuesStatus
ty passes with 0 errors. The 31 remaining warnings are about unused
# type: ignorecomments from the pyright era that can be cleaned up incrementally.New type errors will be caught going forward while the existing baseline is suppressed.