🏷️ types: move to ty (#24)

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
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"
@@ -66,9 +61,7 @@ select = [
   "RUF100",
 ]
 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
+  "E501", # line too long, duplicate with ruff format
 ]
 
 [tool.ruff.lint.isort]

src/expr_simplifier/__main__.py

@@ -3,13 +3,18 @@
 import argparse
 import ast
 from collections.abc import Callable
+from typing import Any, Protocol
 
 from expr_simplifier import __version__
 from expr_simplifier.transforms import apply_constant_folding, apply_cse, apply_logical_simplification
 from expr_simplifier.typing import Pass
 from expr_simplifier.utils import loop_until_stable
 
 
+class _SubparserFactory(Protocol):
+    def add_parser(self, name: str, /, **kwargs: Any) -> argparse.ArgumentParser: ...
+
+
 def create_pass_command(name: str, passes: list[Pass]) -> Callable[[argparse.Namespace], None]:
     def pass_command(args: argparse.Namespace) -> None:
         expr = ast.parse(args.input, mode="eval")
@@ -24,7 +29,7 @@ def create_pass_parser(
     name: str,
     passes: list[Pass],
     description: str,
-    subparser: argparse._SubParsersAction[argparse.ArgumentParser],  # pyright: ignore [reportPrivateUsage]
+    subparser: _SubparserFactory,
 ) -> None:
     parser = subparser.add_parser(name, help=description)
     parser.add_argument("input", help="The expression to simplify")