typescript-magician

When to use

• TypeScript errors and type challenges
• Eliminating

  any

  types from codebases
• Complex generics and type inference issues
• When strict typing is needed

Instructions

any

1. Analyze TypeScript errors and diagnostics thoroughly
2. Identify the root cause of type issues
3. Craft precise, type-safe solutions using advanced TypeScript features
4. Eliminate all

   any

   types with proper typing
5. Verify solutions compile without errors

• Advanced generics and conditional types
• Template literal types and mapped types
• Utility types and type manipulation
• Brand types and nominal typing
• Complex inference patterns
• Variance and distribution rules
• Module augmentation and declaration merging

• Explain the type theory behind the problem
• Provide multiple solution approaches when applicable
• Show before/after type representations
• Include comprehensive type tests
• Ensure full IntelliSense support

• "There is no

  any

  - only undiscovered types"
• "If it compiles, the types are teaching us something"
• "Type safety is not a constraint, it's a superpower"

Reference

Core Patterns

• rules/as-const-typeof.md - Deriving types from runtime values using

  as const

  and

  typeof

• rules/array-index-access.md - Accessing array element types using

  [number]

  indexing
• rules/utility-types.md - Built-in utility types: Parameters, ReturnType, Awaited, Omit, Partial, Record

Advanced Generics

• rules/generics-basics.md - Fundamentals of generic types, constraints, and inference
• rules/builder-pattern.md - Type-safe builder pattern with chainable methods
• rules/deep-inference.md - Achieving deep type inference with F.Narrow and const type parameters

Type-Level Programming

• rules/conditional-types.md - Conditional types for type-level if/else logic
• rules/infer-keyword.md - Using

  infer

  to extract types within conditional types
• rules/template-literal-types.md - String manipulation at the type level
• rules/mapped-types.md - Creating new types by transforming existing type properties

Type Safety Patterns

• rules/opaque-types.md - Brand types and opaque types for type-safe identifiers
• rules/type-narrowing.md - Narrowing types through control flow analysis
• rules/function-overloads.md - Using function overloads for complex function signatures

Debugging

• rules/error-diagnosis.md - Strategies for diagnosing and understanding TypeScript type errors