chore: migrate type checker from mypy to ty

.github/workflows/CI.yaml

@@ -42,9 +42,31 @@ jobs:
         run: uv run prek run --show-diff-on-failure --color=always --all-files --hook-stage pre-push
 
 
+  ty:
+    runs-on: ubuntu-latest
+    name: Type check (ty)
+    permissions:
+      contents: read
+    steps:
+      - uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6
+        with:
+          persist-credentials: false
+
+      - name: Install uv
+        uses: astral-sh/setup-uv@b75dde52aef63a238519e7aecbbe79a4a52e4315 # v7
+        with:
+          enable-cache: true
+          version: ${{ env.UV_VERSION }}
+
+      - name: Install dependencies
+        run: uv sync --all-groups
+
+      - name: Run ty
+        run: uv run ty check --output-format github ./src/plexosdb
+
   pytest:
     name: Tests ${{ matrix.os }} / py${{ matrix.python }}
-    needs: prek
+    needs: [prek, ty]
     runs-on: ${{ matrix.os }}
     permissions:
       contents: read
@@ -84,7 +106,7 @@ jobs:
 
   benchmarks:
     name: Benchmarks
-    needs: prek
+    needs: [prek, ty]
     runs-on: ubuntu-latest
     continue-on-error: true
     permissions:

.gitignore

@@ -235,6 +235,9 @@ venv.bak/
 .dmypy.json
 dmypy.json
 
+# ty
+.ty_cache/
+
 # Pyre type checker
 .pyre/
 

.pre-commit-config.yaml

@@ -72,9 +72,9 @@ repos:
 
   - repo: local
     hooks:
-      - id: mypy
-        name: mypy
-        entry: uv run mypy --config-file=pyproject.toml ./src/plexosdb
+      - id: ty
+        name: ty
+        entry: uv run ty check ./src/plexosdb
         language: system
         types: [python]
         pass_filenames: false

pyproject.toml

@@ -63,8 +63,8 @@ docs = [
 ]
 dev = [
     "ipython>=9.2.0",
-    "mypy>=1.15.0",
     "prek>=0.3.3",
+    "ty>=0.0.23",
     "pytest>=8.3.5",
     "pytest-benchmark>=5.1.0",
     "pytest-coverage>=0.0",
@@ -80,10 +80,16 @@ include-package-data = true
 [tool.setuptools.packages.find]
 where = ["src"]
 
-[tool.mypy]
-strict = true
+[tool.ty.src]
+include = ["src/plexosdb"]
 exclude = ["tests/"]
 
+[tool.ty.environment]
+python-version = "3.11"
+
+[tool.ty.terminal]
+output-format = "full"
+
 [tool.ruff]
 line-length = 110
 target-version = "py311"