Migrate from mypy to ty (#292)

Author: klaasnicolaas

.github/workflows/typing.yaml

@@ -11,8 +11,8 @@ env:
   DEFAULT_PYTHON: "3.12"
 
 jobs:
-  mypy:
-    name: mypy
+  ty:
+    name: ty
     runs-on: ubuntu-latest
     steps:
       - name: ⤵️ Check out code from GitHub
@@ -31,5 +31,5 @@ jobs:
           poetry config virtualenvs.in-project true
       - name: 🏗 Install dependencies
         run: poetry install --no-interaction
-      - name: 🚀 Run mypy
-        run: poetry run mypy examples src tests
+      - name: 🚀 Run ty
+        run: poetry run ty check examples src tests

.pre-commit-config.yaml

@@ -77,6 +77,11 @@ repos:
         types: [text]
         entry: poetry run end-of-file-fixer
         stages: [commit, push, manual]
+      - id: ty
+        name: 🆎 Static type checking using ty
+        language: system
+        types: [python]
+        entry: poetry run ty check
       - id: no-commit-to-branch
         name: 🛑 Don't commit to main branch
         language: system