TypeScript

Designing with types: safety and expressiveness at scale.

Part: 01 · Core Languages · Priority: Critical

Taxonomy

Second-level groups and their articles. Each article is a standalone entry following the template; its filename is the kebab-case form of the title.

Type Foundations

• Structural Typing
• Assignability
• unknown, never & any
• Literal & Unit Types

Composition

• Unions & Intersections
• Generics
• Generic Constraints
• Indexed Access & keyof

Type Transformation

• Conditional Types
• Mapped Types
• Template Literal Types
• infer & Type Extraction

Inference & Flow

• Type Inference
• Control-Flow Narrowing
• Type Guards & Predicates
• Discriminated Unions

Soundness & Safety

• Variance
• Unsoundness & Escape Hatches
• Strictness Flags

Ambient & Interop

• Declaration Files
• Module Augmentation
• Typing Third-Party Code

Domain Modeling

• Branded & Nominal Types
• Exhaustiveness
• Illegal States Unrepresentable

Index only. One canonical home per concept — overlapping ideas are owned here and cross-linked from other domains, never duplicated.