TypeScript Type Safety Patterns

About

This skill provides a comprehensive framework for writing resilient TypeScript code by shifting errors from runtime to compile-time. It guides Claude to implement immutable structures, discriminated unions, and the Result/Option patterns instead of relying on try/catch blocks or unsafe type assertions. It is ideal for developers building core business logic, complex state machines, or domain-driven designs where type integrity and predictability are paramount.

Key Features

• Branded types to prevent confusion between identical primitive types
• Discriminated union patterns for strict state and model management
• Exhaustive pattern matching integration using ts-pattern
• 0 GitHub stars
• Functional Result and Option types for explicit error and null handling
• Immutable class and collection patterns to ensure state predictability

Use Cases

• Refactoring legacy TypeScript codebases to eliminate the use of 'any' and type assertions
• Building mission-critical domain logic that requires strict, exception-free error handling
• Architecting complex UI state or backend services using type-safe state machines