Does this require external libraries like fp-ts?

No, this skill provides lightweight, 'paste-ready' helpers that work with standard TypeScript without adding external dependencies.

How do branded types help in TypeScript?

They prevent you from accidentally mixing up different values that use the same primitive type, such as preventing a 'UserId' string from being passed into a function expecting an 'OrderId' string.

When should I use Result types instead of try/catch?

Use Result types for 'expected' failures (like validation or API errors) where the caller should be forced to handle the error explicitly; use try/catch for unexpected programmer errors.

What are the main benefits of using this skill?

It helps you write safer TypeScript by using patterns that catch errors at compile-time instead of runtime, such as exhaustive switch statements and explicit error handling.

TypeScript Functional Patterns

Name: TypeScript Functional Patterns
Author: martinffx

bymartinffx

•

Herramientas para Desarrolladores

Implements reliable functional programming patterns like Algebraic Data Types, Result types, and branded types to ensure maximum TypeScript type safety.

This skill empowers developers to build bulletproof TypeScript applications by leveraging Algebraic Data Types (ADTs), exhaustive pattern matching, and nominal typing. By encoding business logic directly into the type system, it helps Claude prevent runtime errors, handle optionality without nulls, and manage complex state transitions using discriminated unions. It is an essential tool for domain-driven design, providing patterns that make illegal states unrepresentable and ensuring that refactoring remains safe and mechanical.

Características Principales

01Type-safe Result and Option types for explicit error and null handling

02Exhaustiveness checking patterns using the assertNever utility

0318 GitHub stars

04Discriminated unions for exhaustive pattern matching and state modeling

05Smart constructors to enforce domain validation at the type level

06Branded types for nominal typing and preventing unit confusion

Casos de Uso

01Enforcing domain-specific units like Cents, Milliseconds, or validated Email types

02Modeling complex state machines for transaction lifecycles or UI states

03Replacing legacy try/catch blocks with explicit, recoverable error handling

Características Principales

01Type-safe Result and Option types for explicit error and null handling

02Exhaustiveness checking patterns using the assertNever utility

0318 GitHub stars

04Discriminated unions for exhaustive pattern matching and state modeling

05Smart constructors to enforce domain validation at the type level

06Branded types for nominal typing and preventing unit confusion

Casos de Uso

01Enforcing domain-specific units like Cents, Milliseconds, or validated Email types

02Modeling complex state machines for transaction lifecycles or UI states

03Replacing legacy try/catch blocks with explicit, recoverable error handling