Add ty type checker

Add ty configuration. ty provides fast type checking that complements
pyright, while ruff handles missing type hints detection.

ty is not yet reporting as much problems as pyright, but it is
much, much faster, and is already interesting to use interactively.

This change only aims at making ty usable in this project, without
replacing pyright. As such it is not added in the dev dependencies
and must be installed manually, for example with

  uv tool install ty

Signed-off-by: Gaëtan Lehmann <gaetan.lehmann@vates.tech>

Author: glehmann

.pre-commit-config.yaml

@@ -33,6 +33,15 @@ repos:
         require_serial: true
         entry: "uv run flake8"
         types: ["python"]
+      - id: "ty"
+        name: "ty"
+        language: "system"
+        require_serial: true
+        entry: "uv run ty check ."
+        types: ["python"]
+        stages: ["manual"]
+        pass_filenames: false
+        always_run: true
       - id: "pyright"
         name: "pyright"
         language: "system"

Makefile

@@ -1,7 +1,7 @@
 # Makefile to run static code checkers locally
 # Equivalent to the GitHub Actions workflow in .github/workflows/code-checkers.yml
 
-.PHONY: all pyright ruff ruff-fix flake8 autopep8 autopep8-fix
+.PHONY: all pyright ruff ruff-fix flake8 autopep8 autopep8-fix ty
 
 # By default, only run the non-fix version of the hooks so it doesn't modify any files
 # It runs on all files managed by git (untracked files are not checked)
@@ -19,5 +19,5 @@ vm_data.py:
 
 pyright ruff: data.py vm_data.py
 
-ruff ruff-fix autopep8 autopep8-fix flake8 pyright:
+ruff ruff-fix autopep8 autopep8-fix flake8 ty pyright:
 	uv run prek -a $@