Rendre TypeScript invisible : concevoir des APIs pour l'inférence de types

Montrer comment des APIs TypeScript peuvent avoir une type safety très forte, tout en ne demandant aucune syntaxe TypeScript au consommateur. Le but est d'avoir du code qui ressemble à du JS (aucune définition de types ou type casting), mais qui soit robuste, avec autocomplete et erreurs précises.

C'est possible grâce à l'inférence de types. TypeScript est capable de déduire énormément d'informations de notre code, sans qu'on ait besoin de tout lui donner explicitement. C'est souhaitable parce que le code runtime devient la seule source de vérité. Impossible que les types divergent du code métier puisqu'ils en découlent automatiquement.