Chapitre 6. Types avancés
Cet ouvrage a été traduit à l'aide de l'IA. Tes réactions et tes commentaires sont les bienvenus : translation-feedback@oreilly.com
TypeScript dispose d'un système de types de classe mondiale qui prend en charge de puissantes fonctionnalités de programmation au niveau des types qui pourraient rendre jaloux même le programmeur Haskell le plus grincheux. Comme tu le sais maintenant, ce système de type n'est pas seulement incroyablement expressif, mais aussi facile à utiliser, et il rend la déclaration des contraintes et des relations de type simple, laconique, et la plupart du temps, inférée.
Nous avons besoin d'un système de types aussi expressif et inhabituel parce que JavaScript est tellement dynamique. La modélisation de choses telles que les prototypes, les liens dynamiques this, les surcharges de fonctions et les objets toujours changeants nécessite un système de types riche et une ceinture utilitaire d'opérateurs de types qui feraient faire à Batman un double regard.
Je commencerai ce chapitre par une plongée en profondeur dans le sous-typage, l'assignabilité, la variance et l'élargissement dans TypeScript, en donnant plus de définition aux intuitions que tu as développées au cours des derniers chapitres. Je couvrirai ensuite plus en détail les fonctions de vérification de type de TypeScript basées sur le flux de contrôle, y compris le raffinement et la totalité, et je poursuivrai avec certaines fonctions de programmation avancées au niveau du type ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access