TypeScript Avancé : Typage Conditionnel, Inférence et Generics

§Repousser les limites du typage statique

TypeScript n'est pas qu'une simple surcouche documentaire. Le système de types est Turing-complet.

type NonNullableFields<T> = {
  [K in keyof T]: Exclude<T[K], null | undefined>;
};

type DeepReadonly<T> = {
  readonly [K in keyof T]: T[K] extends object ? DeepReadonly<T[K]> : T[K];
};

§Inférence et satisfaction d'interfaces

L'opérateur satisfies introduit dans les versions récentes garantit la conformité à un type sans élargir l'inférence littérale.