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

Result types make error handling explicit in the function signature, forcing developers to handle failures and preventing unexpected runtime exceptions by treating errors as values.

How does exhaustiveness checking work with this skill?

It utilizes the 'assertNever' pattern within switch statements for discriminated unions, causing a compiler error if a new variant is added but not handled in the logic.

What are Branded Types in TypeScript?

Branded types are a technique to achieve nominal typing, allowing you to distinguish between identical primitive types, such as preventing a 'UserId' from being accidentally used as an 'OrderId' at compile time.

Can I use these patterns in an existing TypeScript project?

Yes, the skill includes a migration strategy and paste-ready helpers designed for incremental adoption without requiring a full rewrite of your codebase.

TypeScript Functional Patterns

Name: TypeScript Functional Patterns
Author: martinffx

bymartinffx

•

API 개발

Implements robust functional programming patterns in TypeScript to ensure type safety and eliminate runtime errors through domain-driven design.

This skill provides a comprehensive framework for building reliable TypeScript systems using Algebraic Data Types (ADTs), Result and Option types, and branded types. By shifting business logic into the type system, it enables the compiler to perform exhaustiveness checking and prevent 'impossible' states from being constructed. It is an essential toolkit for developers architecting complex domain models, financial systems, or state machines where reliability, maintainability, and compile-time correctness are paramount.

주요 기능

01Branded types for nominal typing to prevent unit confusion and enforce validation

026 GitHub stars

03Exhaustiveness checking patterns using assertNever to ensure 100% case coverage

04Smart constructors for domain-driven design and value object validation

05Algebraic Data Types (ADTs) and discriminated unions for exhaustive state modeling

06Type-safe error handling with Result and Option types to replace exceptions and nulls

사용 사례

01Building robust API clients and configuration parsers with explicit, recoverable error propagation

02Implementing financial systems that require strict separation between units like Cents and Dollars

03Modeling complex transaction lifecycles and state machines with full type coverage

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add martinffx/claude-code-atelier atelier-typescript-functional-patterns

For use in Claude.ai and ChatGPT

Download Skill