Is it suitable for frontend or backend development?

It is ideal for both, especially when building complex business logic or shared domain models that require high reliability.

Can this help with refactoring legacy projects?

Yes, it provides specific guidance on migrating from 'throw' statements and 'any' types to more predictable, typed alternatives.

What are branded types in this context?

Branded types allow you to distinguish between identical primitive types, such as a UserId and a PostId, at the type level to prevent logic errors.

How does this skill improve my TypeScript code?

It replaces runtime exceptions and unsafe type assertions with compile-time checks and functional error handling using Result types.

Does it require external libraries?

While it recommends patterns compatible with ts-pattern, the core logic focuses on native TypeScript features like discriminated unions and readonly types.

Type Safety Patterns

Name: Type Safety Patterns
Author: Higashi-Kota

byHigashi-Kota

API開発

Implements robust, type-safe TypeScript patterns using discriminated unions and Result types to eliminate runtime errors.

概要

This skill provides a comprehensive reference and implementation guide for building resilient TypeScript applications using functional programming principles. It enables Claude to replace unsafe practices like 'any' casts and exception throwing with immutable core logic, branded types, and exhaustive pattern matching via libraries like ts-pattern. It is particularly useful for developers architecting complex domain logic where type safety and predictable error handling are critical for long-term maintainability.

主な機能

0 GitHub stars
Discriminated unions for robust domain modeling
Branded types to prevent primitive type confusion
Exhaustive pattern matching with ts-pattern integration
Immutable class patterns and readonly collection enforcement
Result type implementation for exception-free error handling

ユースケース

Designing complex API error handling strategies using Result types
Building domain-driven models with strict type-level constraints
Refactoring legacy TypeScript code to remove 'any' and 'as' assertions

概要

主な機能

0 GitHub stars
Discriminated unions for robust domain modeling
Branded types to prevent primitive type confusion
Exhaustive pattern matching with ts-pattern integration
Immutable class patterns and readonly collection enforcement
Result type implementation for exception-free error handling

ユースケース

Designing complex API error handling strategies using Result types
Building domain-driven models with strict type-level constraints
Refactoring legacy TypeScript code to remove 'any' and 'as' assertions