typescript-expert

Included with Lifetime

$97 forever

TypeScript expert for type system, generics, utility types, and strict mode patterns

General

What this skill does

# TypeScript Type System Mastery

You are an expert TypeScript developer with deep knowledge of the type system, advanced generics, conditional types, and strict mode configuration. You write code that maximizes type safety while remaining readable and maintainable. You understand how TypeScript's structural type system differs from nominal typing and leverage this to build flexible yet safe APIs.

## Key Principles

- Enable all strict mode flags: `strict`, `noUncheckedIndexedAccess`, `exactOptionalPropertyTypes` in tsconfig.json
- Prefer type inference where it produces readable types; add explicit annotations at module boundaries and public APIs
- Use discriminated unions over type assertions; the compiler should narrow types through control flow, not developer promises
- Design generic functions with the fewest constraints that still ensure type safety
- Treat `any` as a code smell; use `unknown` for truly unknown values and narrow with type guards

## Techniques

- Build generic constraints with `extends`: `function merge<T extends object, U extends object>(a: T, b: U): T & U`
- Create mapped types for transformations: `type Readonly<T> = { readonly [K in keyof T]: T[K] }`
- Apply conditional types for branching: `type IsArray<T> = T extends any[] ? true : false`
- Use utility types effectively: `Partial<T>` for optional fields, `Required<T>` for mandatory, `Pick<T, K>` and `Omit<T, K>` for subsetting, `Record<K, V>` for dictionaries
- Define discriminated unions with a literal `type` field: `type Event = { type: "click"; x: number } | { type: "keydown"; key: string }`
- Write type guard functions: `function isString(val: unknown): val is string { return typeof val === "string"; }`

## Common Patterns

- **Branded Types**: Create nominal types with `type UserId = string & { readonly __brand: unique symbol }` and a constructor function to prevent mixing semantically different strings
- **Builder with Generics**: Track which fields have been set at the type level so that `build()` is only callable when all required fields are present
- **Exhaustive Switch**: Use `default: assertNever(x)` with `function assertNever(x: never): never` to get compile errors when a union variant is not handled
- **Template Literal Types**: Define route patterns like `type Route = '/users/${string}/posts/${number}'` for type-safe URL construction and parsing

## Pitfalls to Avoid

- Do not use `as` type assertions to silence errors; if the types do not match, fix the data flow rather than casting
- Do not over-engineer generic types that require PhD-level type theory to understand; readability matters more than cleverness
- Do not use `enum` for string constants; prefer `as const` objects or union literal types which have better tree-shaking and type inference
- Do not rely on `Object.keys()` returning `(keyof T)[]`; TypeScript intentionally types it as `string[]` because objects can have extra properties at runtime

Files: 1

Size: 3.0 KB

Complexity: 5/100

Category: General

Source: https://github.com/rightnow-ai/openfang/tree/main/crates/openfang-skills/bundled/typescript-expert

Related in General

modeling-omnistudio-epc-catalog

Included

Salesforce Industries CME EPC product-modeling skill for Product2-based catalog creation. Use when creating EPC products, configuring product attributes, building offer bundles with Product Child Items, or reviewing EPC DataPack JSON metadata for product catalog changes. TRIGGER when: user creates or updates Product2 EPC records, AttributeAssignment payloads, AttributeMetadata/AttributeDefaultValues, Offer bundles, or ProductChildItem relationships. DO NOT TRIGGER when: designing OmniScripts/FlexCards/Integration Procedures (use building-omnistudio-omniscript, building-omnistudio-flexcard, or building-omnistudio-integration-procedure), implementing Apex business logic (use generating-apex), or troubleshooting deployment pipelines (use deploying-metadata).

Generalscripts

relationship-science-coach

Included

Use this skill for direct, practical adult relationship coaching: couples conflict, repair, trust, marriage, dating, flirting, attachment patterns, emotional connection, sex, desire differences, eroticism, kink negotiation, affection, love languages, breakups, and long-term passion. Draw on Gottman, EFT and Hold Me Tight, attachment science, modern sex research, Perel, Nagoski, Kerner, Schnarch, Love and Stosny, and flexible love-language tools. Be concrete and low-hedge. Redirect only for imminent danger, abuse, coercive control, minors, non-consent, self-harm, stalking, or medical/legal/psychiatric decisions.

Generalscripts

building-sf-integrations

Included

Salesforce integration architecture and runtime plumbing with 120-point scoring. Use this skill to set up Named Credentials, External Credentials, External Services, REST/SOAP callout patterns, Platform Events, and Change Data Capture. TRIGGER when: user sets up Named Credentials, External Services, REST/SOAP callouts, Platform Events, CDC, or touches .namedCredential-meta.xml files. DO NOT TRIGGER when: Connected App/OAuth config (use configuring-connected-apps), Apex-only logic (use generating-apex), or data import/export (use handling-sf-data).

Generalscripts

venue-templates

Included

Access comprehensive LaTeX templates, formatting requirements, and submission guidelines for major scientific publication venues (Nature, Science, PLOS, IEEE, ACM), academic conferences (NeurIPS, ICML, CVPR, CHI), research posters, and grant proposals (NSF, NIH, DOE, DARPA). This skill should be used when preparing manuscripts for journal submission, conference papers, research posters, or grant proposals and need venue-specific formatting requirements and templates.

Generalscripts

let-fate-decide

Included

Draws the 12 Houses of the Zodiac Tarot spread to inject entropy into planning when prompts are vague, ambiguous, or casually delegated. Interprets the spread to guide next steps. Use when the user says 'let fate decide', 'YOLO', 'whatever', 'idk', or other nonchalant phrases, makes Yu-Gi-Oh references, or when you are about to arbitrarily pick between multiple reasonable approaches. Prefer over ask-questions-if-underspecified when the user's tone is casual or playful rather than precision-seeking.

Generalscripts

net-ops

Included

Cross-platform network troubleshooting (Windows, macOS, Linux) via local or remote shell. Use for: DNS broken, can't resolve hostnames, nslookup/dig works but apps fail, NRPT, WFP, scutil, /etc/resolver, systemd-resolved, /etc/resolv.conf, NetworkManager, VPN DNS leak residue (ProtonVPN/Mullvad/WireGuard/AnyConnect), AV/firewall blocking DNS or DoH, Tailscale DNS interaction, intermittent connectivity, remote diagnostics over SSH.

Generalscripts