How do immutable patterns benefit my codebase?

Immutable patterns prevent side effects and make state changes predictable, which simplifies debugging and improves the reliability of complex applications.

What are branded types in TypeScript?

Branded types are a technique used to distinguish between two identical underlying types, such as a UserId and a PostId, at compile-time to prevent accidental mixing.

Does this skill require specific libraries?

While many patterns are native TypeScript, some advanced matching features utilize the popular 'ts-pattern' library for cleaner syntax and better exhaustive checking.

Why use Result types instead of traditional try/catch blocks?

Result types make error handling explicit in the type system, forcing developers to handle failures at the call site and preventing unhandled runtime exceptions.

What is exhaustive matching?

Exhaustive matching ensures that every possible variant of a union type is accounted for in a switch or match statement, triggering a compile-time error if a case is missing.

TypeScript Type Safety Patterns

Name: TypeScript Type Safety Patterns
Author: Higashi-Kota

byHigashi-Kota

0•

Developer Tools

Implements robust, type-safe patterns including Result types and exhaustive matching to eliminate runtime exceptions and improve code reliability.

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

01Branded types to prevent confusion between identical primitive types

02Discriminated union patterns for strict state and model management

03Exhaustive pattern matching integration using ts-pattern

040 GitHub stars

05Functional Result and Option types for explicit error and null handling

06Immutable class and collection patterns to ensure state predictability

Use Cases

01Refactoring legacy TypeScript codebases to eliminate the use of 'any' and type assertions

02Building mission-critical domain logic that requires strict, exception-free error handling

03Architecting complex UI state or backend services using type-safe state machines

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add higashi-kota/drawing-explorer type-patterns

For use in Claude.ai and ChatGPT

Download Skill