🏷️ types: move to ty

Agent-Logs-Url: https://github.com/ShigureLab/expr-simplifier/sessions/bbbf3ae0-179b-40ad-9694-e6a3a440f32a

Co-authored-by: SigureMo <38436475+SigureMo@users.noreply.github.com>

Author: Copilot

.vscode/extensions.json

@@ -1,7 +1,7 @@
 {
   "recommendations": [
     "ms-python.python",
-    "ms-python.vscode-pylance",
+    "astral-sh.ty",
     "charliermarsh.ruff",
     "esbenp.prettier-vscode",
     "EditorConfig.EditorConfig",

.vscode/settings.json

@@ -1,6 +1,5 @@
 {
   "python.defaultInterpreterPath": "${workspaceFolder}/.venv/bin/python",
-  "python.analysis.typeCheckingMode": "strict",
   "python.analysis.inlayHints.functionReturnTypes": true,
   "python.analysis.inlayHints.variableTypes": true,
   "[python]": {

justfile

@@ -11,7 +11,7 @@ fmt:
   uv run ruff format .
 
 lint:
-  uv run pyright src/expr_simplifier tests
+  uv run ty check --error-on-warning src/expr_simplifier tests
   uv run ruff check .
 
 fmt-docs:

pyproject.toml

@@ -32,17 +32,12 @@ expr_simplifier = "expr_simplifier.__main__:main"
 
 [dependency-groups]
 dev = [
-  "pyright>=1.1.406",
+  "ty>=0.0.32",
   "ruff>=0.14.0",
   "pytest>=8.4.2",
   "pytest-rerunfailures>=16.0.1",
 ]
 
-[tool.pyright]
-include = ["src/expr_simplifier", "tests"]
-pythonVersion = "3.10"
-typeCheckingMode = "strict"
-
 [tool.ruff]
 line-length = 120
 target-version = "py310"
@@ -67,8 +62,6 @@ select = [
 ]
 ignore = [
   "E501", # line too long, duplicate with ruff fmt
-  "F401", # imported but unused, duplicate with pyright
-  "F841", # local variable is assigned to but never used, duplicate with pyright
 ]
 
 [tool.ruff.lint.isort]

src/expr_simplifier/__main__.py

@@ -3,6 +3,7 @@
 import argparse
 import ast
 from collections.abc import Callable
+from typing import Any
 
 from expr_simplifier import __version__
 from expr_simplifier.transforms import apply_constant_folding, apply_cse, apply_logical_simplification
@@ -24,7 +25,7 @@ def create_pass_parser(
     name: str,
     passes: list[Pass],
     description: str,
-    subparser: argparse._SubParsersAction[argparse.ArgumentParser],  # pyright: ignore [reportPrivateUsage]
+    subparser: Any,
 ) -> None:
     parser = subparser.add_parser(name, help=description)
     parser.add_argument("input", help="The expression to simplify")