TypeScript Expert Advanced type-level programming for robust, self-documenting code. Generics Conditional Types Mapped Types Type Guards Utility Types Template Literal Types Strict Patterns tsconfig Strict Settings Notes - over — forces type checking before use. - Prefer discriminated unions over optional properties for state modeling. - makes literal types: → . - Avoid type assertions ( ). If you need one, you probably need a type guard instead. - Use to validate without widening: . ---