Use when writing code in typed languages - enforces full typing with no any/unknown/untyped escapes, even if it requires extra time
Use when writing code in typed languages - enforces full typing with no any/unknown/untyped escapes, even if it requires extra time