skills.rest
rabbicse
rabbicseCOMMUNITY
Explore all skills by this author →
GitHub

typescript-pro

Design advanced TypeScript type systems with strict compile-time safety.

2|Updated Apr 18, 2021
Search Tags:#type safety#typescript#type guards#monorepo#trpc#branded types#generics
One-click install
npx skills add https://github.com/rabbicse/go-projects --skill typescript-pro-rabbicse
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: typescript-pro
Source: https://github.com/rabbicse/go-projects/tree/main/projects/movie-ticket-booking/.claude/skills/typescript-pro
Command: npx skills add https://github.com/rabbicse/go-projects --skill typescript-pro-rabbicse

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

What problem does it solve?

This Skill helps you design and implement advanced TypeScript systems with stronger compile-time guarantees, clearer domain models, and safer API boundaries. It reduces type errors, improves refactoring confidence, and keeps large codebases maintainable as complexity grows.

Core Features & Use Cases

  • Advanced Type Modeling: Create branded types, discriminated unions, conditional types, mapped types, and recursive utilities for precise domain logic.
  • Type Safety Workflows: Add custom type guards, assertion functions, and strict configuration to catch errors early and narrow values reliably.
  • Full-Stack Type Safety: Shape tRPC and monorepo patterns for end-to-end consistency across shared types, backend services, and frontend consumers.
  • Use Case: A team building a booking platform can use this Skill to model IDs, request states, and API contracts so invalid data is rejected before runtime.

Quick Start

Ask for a TypeScript implementation that uses advanced types, custom type guards, and strict configuration to make your feature fully type-safe.

Frequently Asked Questions about typescript-pro

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I enforce compile-time type safety in a large TypeScript monorepo?▼

Full-stack type safety in tRPC is achieved by defining strongly typed API contracts using advanced generics and conditional types. This shapes end-to-end consistency, ensuring shared types automatically propagate from backend services to frontend consumers.

What is the best way to model domain logic using branded types and discriminated unions in TypeScript?▼

Model domain logic using branded types and discriminated unions to create precise, strict data structures like request states and IDs. This approach leverages mapped types and recursive utilities to enforce valid state transitions and catch errors before runtime.

How do I write custom type guards and assertion functions to narrow values reliably?▼

Write custom type guards and assertion functions to narrow values reliably by applying type-first implementation patterns. These validation techniques inspect values at runtime while communicating narrowed types back to the TypeScript compiler, preventing type mismatches.

Do I need strict TypeScript compiler settings to use advanced generics and mapped types effectively?▼

Yes, strict TypeScript compiler settings are required to use advanced generics and mapped types effectively. Tsconfig hardening activates strict null checks and precise type narrowing, which are essential for validation patterns that prevent runtime mismatches.

Related Skills

Explore More Software Engineering Skills→
truongnattruongnat
1

typescript-pro

Configures strict tsconfig settings and plans JavaScript-to-TypeScript migrations.

Community
Advanced
camelranchentertainmentcamelranchentertainment
1

typescript-pro

Enforce advanced TypeScript type safety with branded types and discriminated unions.

Community
Advanced
jingjing2222jingjing2222

trpc-boundary

Align shared tRPC contracts and AppRouter types across frontend, backoffice, and server.

Community
Advanced
anicdhanicdh

typescript-zod

Define Zod schemas and infer TypeScript types to prevent runtime and compile-time drift.

Community
Advanced