Use ty for fast type checking :-) (#900)

* fast type checking :-)

* fast type checking :-)

* fast type checking :-)

* fast type checking :-)

* Update blueprints/cli.py

Co-authored-by: Copilot <[email protected]>

* fast type checking :-)

---------

Co-authored-by: Copilot <[email protected]>

Author: egarciamendez

.github/dependabot.yaml

@@ -13,7 +13,7 @@ updates:
     groups:
       dev-dependencies: # name of group
         patterns:
-          - "mypy"
+          - "ty"
           - "ruff"
           - "pre-commit"
           - "pytest"

.github/workflows/build_deploy.yaml

@@ -40,7 +40,7 @@ jobs:
       - name: Run formatting checks with ruff
         run: make format
 
-      - name: Run type checks with mypy
+      - name: Run type checks with ty
         run: make typecheck
 
       - name: Build package

.github/workflows/test.yaml

@@ -45,5 +45,5 @@ jobs:
       - name: Run formatting checks with ruff
         run: make format
 
-      - name: Run type checks with mypy
+      - name: Run type checks with ty
         run: make typecheck

.gitignore

@@ -140,11 +140,6 @@ venv.bak/
 # mkdocs documentation
 /site
 
-# mypy
-.mypy_cache/
-.dmypy.json
-dmypy.json
-
 # Pyre type checker
 .pyre/
 

.pre-commit-config.yaml

@@ -25,8 +25,5 @@ repos:
       # Run the formatter.
       - id: ruff-format
 
-  -   repo: https://github.com/pre-commit/mirrors-mypy
-      rev: v1.17.0
-      hooks:
-      - id: mypy
-        language_version: python3.12
+    # As of january 2026, ty does not have an official pre-commit hook.
+    # We will add it here once it is available.

Makefile

@@ -18,7 +18,7 @@ RUN     		:= $(UV) run
 BUILD 			:= $(UV) build
 PYTEST  		:= $(RUN) $(NO_DEV) pytest
 COVERAGE		:= $(PYTEST) --cov=./blueprints
-MYPY    		:= $(RUN) mypy
+TY    		    := $(RUN) ty
 RUFF    		:= $(RUN) ruff
 
 #─────────────────────────────────────────────────────────────────────────────
@@ -55,8 +55,8 @@ format:                        ## Check the formatting with Ruff
 	$(RUFF) format . --check
 
 .PHONY: typecheck
-typecheck:                     ## Run static type checks with mypy
-	$(MYPY) -p blueprints
+typecheck:                     ## Run static type checks with ty
+	$(TY) check blueprints
 
 #─────────────────────────────────────────────────────────────────────────────
 # Testing targets
@@ -97,5 +97,5 @@ build:                         ## Build the project
 #─────────────────────────────────────────────────────────────────────────────
 .PHONY: clean
 clean:                         ## Remove venv and all build/test artifacts
-	@rm -rf .venv htmlcov .pytest_cache .mypy_cache .ruff_cache .coverage;\
+	@rm -rf .venv htmlcov .pytest_cache .ruff_cache .coverage;\
 	echo "Cleaned up all build/test artifacts and virtual environment"

blueprints/checks/check_result.py

@@ -76,7 +76,12 @@ class CheckResult:
     is_ok: bool | None = None
 
     @classmethod
-    def from_comparison(cls, provided: float, required: float, operator: Literal["<", "<=", "==", ">=", ">", "!="] = "<=") -> Self:
+    def from_comparison(
+        cls,
+        provided: float,
+        required: float,
+        operator: Literal["<", "<=", "==", ">=", ">", "!="] = "<=",  # ty: ignore[invalid-argument-type]
+    ) -> Self:
         """
         Create a CheckResult from a direct comparison of provided and required values.
         Will automatically calculate unity_check, factor_of_safety, and is_ok.

blueprints/cli.py

@@ -222,25 +222,25 @@ def formatting(ctx: typer.Context) -> None:
 
 @app.command(context_settings={"allow_extra_args": True, "ignore_unknown_options": True})
 def typecheck(ctx: typer.Context) -> None:
-    """Run static type checks with mypy.
+    """Run static type checks with ty from astral.
 
-    Performs static type checking on the blueprints package using mypy.
+    Performs static type checking on the blueprints package using ty.
     Equivalent to: make typecheck
 
     Parameters
     ----------
     ctx : typer.Context
-        Typer context containing additional arguments to pass to mypy.
+        Typer context containing additional arguments to pass to ty.
 
     Notes
     -----
-    Additional arguments are passed directly to mypy. Common examples:
-    - `--strict` : Enable strict mode
-    - `--ignore-missing-imports` : Ignore missing imports
-    - `--show-error-codes` : Show error codes
+    Additional arguments are passed directly to ty. Common examples:
+    - `--verbose` : Increase verbosity of type checking output
+    - `--quiet` : Reduce output to essential information
+    - See `ty --help` for the full list of supported options
     """
-    console.print("[bold blue]Running mypy type checker...[/bold blue]")
-    run_command(["uv", "run", "mypy", "-p", "blueprints", *ctx.args])
+    console.print("[bold blue]Running ty type checker...[/bold blue]")
+    run_command(["uv", "run", "ty", "check", "blueprints", *ctx.args])
 
 
 # Testing Commands
@@ -405,7 +405,7 @@ def check() -> None:  # noqa: PLR0915
     Runs the following checks in order:
     1. Lint with Ruff
     2. Format check with Ruff
-    3. Type checking with mypy
+    3. Type checking with ty
     4. Coverage validation with pytest
 
     Raises
@@ -455,9 +455,9 @@ def check() -> None:  # noqa: PLR0915
         console.print("[bold red]Format: FAILED (Use `blueprints formatting` to auto-format files)[/bold red]")
 
     # 3. Type check
-    console.print("\n[bold blue]3. Running type checks with mypy...[/bold blue]")
+    console.print("\n[bold blue]3. Running type checks with ty...[/bold blue]")
     result = subprocess.run(
-        args=["uv", "run", "mypy", "-p", "blueprints"],
+        args=["uv", "run", "ty", "check", "blueprints"],
         capture_output=False,
         text=True,
         check=False,

blueprints/codes/eurocode/en_1992_1_1_2004/chapter_4_durability_and_cover/table_4_1.py

@@ -2,6 +2,7 @@
 according to Table 4.1 from EN 1992-1-1:2004: Chapter 4 - Durability and cover to reinforcement.
 """
 
+from dataclasses import dataclass, field
 from functools import total_ordering
 
 from blueprints.codes.eurocode.en_1992_1_1_2004.chapter_4_durability_and_cover._base_classes.exposure_classes import (
@@ -211,36 +212,29 @@ def description_of_the_environment(self) -> str:
                 return "Not applicable"
 
 
+@dataclass(frozen=True)
 class Table4Dot1ExposureClasses(ExposureClassesBase):
-    """Class representing table 4.1 from EN 1992-1-1:2004."""
-
-    def __init__(
-        self,
-        carbonation: Carbonation = Carbonation.NA,
-        chloride: Chloride = Chloride.NA,
-        chloride_seawater: ChlorideSeawater = ChlorideSeawater.NA,
-        freeze_thaw: FreezeThaw = FreezeThaw.NA,
-        chemical: Chemical = Chemical.NA,
-    ) -> None:
-        """Implementation of table 4.1 from EN 1992-1-1:2004 par. 4.2.
-
-        Exposure classes related to environmental conditions in accordance with EN 206-1
-
-        Parameters
-        ----------
-        carbonation : Carbonation
-            The carbonation exposure class. Defaults to Carbonation.NA.
-        chloride : Chloride
-            The chloride exposure class. Defaults to Chloride.NA.
-        chloride_seawater : ChlorideSeawater
-            The chloride seawater exposure class. Defaults to ChlorideSeawater.NA.
-        freeze_thaw : FreezeThaw
-            The freeze/thaw exposure class. Defaults to FreezeThaw.NA.
-        chemical : Chemical
-            The chemical exposure class. Defaults to Chemical.NA.
-        """
-        self.carbonation = carbonation
-        self.chloride = chloride
-        self.chloride_seawater = chloride_seawater
-        self.freeze_thaw = freeze_thaw
-        self.chemical = chemical
+    """Class representing table 4.1 from EN 1992-1-1:2004.
+
+    Exposure classes related to environmental conditions in accordance with EN 206-1
+
+    Arguments
+    ---------
+    carbonation : Carbonation
+        The carbonation exposure class. Defaults to Carbonation.NA.
+    chloride : Chloride
+        The chloride exposure class. Defaults to Chloride.NA.
+    chloride_seawater : ChlorideSeawater
+        The chloride seawater exposure class. Defaults to ChlorideSeawater.NA.
+    freeze_thaw : FreezeThaw
+        The freeze/thaw exposure class. Defaults to FreezeThaw.NA.
+    chemical : Chemical
+        The chemical exposure class. Defaults to Chemical.NA.
+
+    """
+
+    carbonation: Carbonation = field(default=Carbonation.NA)
+    chloride: Chloride = field(default=Chloride.NA)
+    chloride_seawater: ChlorideSeawater = field(default=ChlorideSeawater.NA)
+    freeze_thaw: FreezeThaw = field(default=FreezeThaw.NA)
+    chemical: Chemical = field(default=Chemical.NA)

blueprints/codes/eurocode/en_1992_1_1_2004/chapter_4_durability_and_cover/table_4_4n.py

@@ -34,8 +34,8 @@ def __init__(
             The structural class of the concrete. Use the [$Table4Dot3ConcreteStructuralClass$] class. [$-$]
         """
         super().__init__()
-        self.exposure_classes = exposure_classes
-        self.structural_class = structural_class
+        self.exposure_classes: Table4Dot1ExposureClasses = exposure_classes
+        self.structural_class: ConcreteStructuralClassBase = structural_class
 
     @staticmethod
     def _evaluate(