Static typing - inline annotations

.github/workflows/test.yml

@@ -272,3 +272,22 @@ jobs:
       - name: Check no test always skipped
         run: |
           python continuous_integration/check_no_test_skipped.py test_results
+
+  typecheck:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v5
+
+      - uses: astral-sh/setup-uv@v6
+
+      - name: mypy
+        run: uvx mypy --no-incremental --cache-dir=/dev/null --python-version=3.9 threadpoolctl
+
+      - name: pyright
+        run: uvx pyright --pythonversion=3.9 threadpoolctl
+
+      - name: basedpyright
+        run: uvx pyright --pythonversion=3.9 threadpoolctl
+
+      - name: ty check
+        run: uvx ty check --python-version=3.9 threadpoolctl

pyproject.toml

@@ -22,9 +22,26 @@ classifiers = [
     "Programming Language :: Python :: 3.12",
     "Programming Language :: Python :: 3.13",
     "Topic :: Software Development :: Libraries :: Python Modules",
+    "Typing :: Typed",
 ]
 
 [tool.black]
 line-length = 88
 target_version = ['py39', 'py310', 'py311', 'py312', 'py313']
 preview = true
+
+[tool.mypy]
+exclude = ["benchmarks", "continuous_integration", "tests"]
+enable_error_code = ["ignore-without-code", "redundant-expr", "truthy-bool"]
+strict = true
+warn_unreachable = true
+local_partial_types = true
+allow_redefinition_new = true
+
+[tool.pyright]
+exclude = ["benchmarks", "continuous_integration", "tests"]
+ignore = [".venv"]
+stubPath = "."
+typeCheckingMode = "strict"
+reportPrivateUsage = false
+reportConstantRedefinition = false