L'effacement des types, ou la preuve qui s'évapore Type erasure, or the proof that evaporates

const u: User = JSON.parse(x) compile sans broncher — puis u.name plante. L'annotation : User n'a rien vérifié : à l'exécution, elle n'existe plus. Les types prouvent à la compilation, puis s'effacent. Tout le reste de la série tient dans cette phrase. const u: User = JSON.parse(x) compiles without a blink — then u.name throws. The : User annotation verified nothing: at runtime, it no longer exists. Types prove at compile time, then erase. The rest of the series fits inside that sentence.

AudienceAudience

Dev qui sait composer des types et croit encore qu'ils existent à l'exécution Dev who can compose types and still believes they exist at runtime

Format

Self-paced

ChapitresChapters

5

Date

Juin 2026 Jun 2026