Why are 'Branded Types' included?

Branded types prevent the accidental mixing of similar types, such as a UserId and a PostId, which are both strings but represent different domain entities.

How does this skill handle TypeScript errors?

Instead of using traditional 'throw' statements which can cause runtime crashes, this skill implements the Result type pattern (Success/Error) to ensure all error paths are handled at compile time.

Does this skill work with existing projects?

Yes, these patterns can be incrementally applied to any TypeScript project to improve code quality, safety, and maintainability without requiring a full rewrite.

Does this require specific libraries?

While many patterns are pure TypeScript, it specifically references 'ts-pattern' for advanced matching and encourages the use of functional programming principles.

What is the benefit of using ts-pattern with Claude?

ts-pattern allows Claude to perform exhaustive matching, meaning the AI will ensure that every possible case in a union type is explicitly handled, preventing logic gaps.

TypeScript Safety Patterns

Name: TypeScript Safety Patterns
Author: Higashi-Kota

byHigashi-Kota

API 개발

Implements robust, exception-free logic using Result types, discriminated unions, and exhaustive pattern matching.

소개

This skill provides a comprehensive framework for writing high-integrity TypeScript code by replacing unsafe practices like 'any' and 'throw' with functional programming patterns. It equips Claude with the ability to implement Result and Option types, use branded types for domain safety, and leverage the ts-pattern library for exhaustive matching, ensuring that core business logic is immutable and type-safe at compile time. This is ideal for developers building complex systems where reliability and strict type enforcement are critical to reducing runtime errors.

주요 기능

0 GitHub stars
Enforces exhaustive pattern matching via ts-pattern to catch unhandled cases
Replaces try-catch blocks with explicit Result type error handling
Implements Branded Types to prevent confusion between identical primitive types
Eliminates unsafe type assertions ('as') through discriminated unions
Provides patterns for immutable data structures and readonly collections

사용 사례

Designing complex state machines and domain models with zero runtime crashes
Building mission-critical business logic that requires absolute type safety
Refactoring legacy codebases to remove 'any' and unsafe type guards

소개

주요 기능

0 GitHub stars
Enforces exhaustive pattern matching via ts-pattern to catch unhandled cases
Replaces try-catch blocks with explicit Result type error handling
Implements Branded Types to prevent confusion between identical primitive types
Eliminates unsafe type assertions ('as') through discriminated unions
Provides patterns for immutable data structures and readonly collections

사용 사례

Designing complex state machines and domain models with zero runtime crashes
Building mission-critical business logic that requires absolute type safety
Refactoring legacy codebases to remove 'any' and unsafe type guards