🏷️ types: move to ty

[Copilot]

Summary

• replace pyright with ty in the dev dependency set and lockfile
• update the lint command and VS Code recommendation to use ty
• remove stale Pyright-specific workspace/type-checker config and make the small typing cleanup needed for ty

Validation

• uv run ty check --error-on-warning src/expr_simplifier tests
• uv run ruff check .
• uv run pytest --reruns 3 --reruns-delay 1
• uv build

References

• 🏷️ types: move to ty yutto-dev/yutto#619
• 🏷️ types: move to ty python-lib-starter#79
• 🏷️ types: move to ty PFCCLab/dochooks#68

[SigureMo]

@copilot 这个不能用某种方式保持类型吗？

[Copilot]

已改成保留类型信息的写法了，见 39da1f6。现在这里用一个只约束 add_parser(...) -> argparse.ArgumentParser 的 Protocol，避免退回 Any，也不再依赖 Pyright 的私有类型。

[Copilot]

Pull request overview

Migrates the project’s type-checking tooling from Pyright to ty, updating dev dependencies and editor/lint workflow accordingly.

Changes:

• Replaced pyright with ty in pyproject.toml and uv.lock.
• Updated just lint to run ty check (with --error-on-warning) and removed Pyright-specific VS Code settings/recommendations.
• Adjusted typing in src/expr_simplifier/__main__.py to avoid reliance on argparse private types.

Reviewed changes

Copilot reviewed 5 out of 6 changed files in this pull request and generated 1 comment.

Show a summary per file

File	Description
uv.lock	Removes pyright/nodeenv and adds locked ty distribution artifacts.
src/expr_simplifier/__main__.py	Introduces a Protocol to type add_parser without referencing private argparse types.
pyproject.toml	Swaps dev dependency pyright → ty and removes [tool.pyright] configuration.
justfile	Updates lint command to use uv run ty check --error-on-warning.
.vscode/settings.json	Removes Pyright/Pylance strict type-checking mode setting.
.vscode/extensions.json	Recommends the ty VS Code extension instead of Pylance.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[Copilot]

.vscode/settings.json still contains python.analysis.* settings (inlay hints), which are provided by Pylance. Since this change replaces the Pylance recommendation with astral-sh.ty, contributors may lose those editor features unless they manually install Pylance. Consider recommending both ms-python.vscode-pylance and astral-sh.ty, or remove the remaining python.analysis.* settings if the project is intentionally moving away from Pylance.

Suggested change

	"ms-python.python",
	"ms-python.python",
	"ms-python.vscode-pylance",