TypeScript

JavaScript, avec un filet de sécurité

TypeScript ajoute un système de types puissant à JavaScript : moins de bugs, un meilleur outillage et des refactorings sereins. Des annotations de base aux génériques, au narrowing et aux types utilitaires avancés.

Fondations

Débutant - les bases, pas à pas

• Pourquoi TypeScript, premier fichier typéDécouvrez ce qu'est TypeScript, le problème qu'il résout et écrivez votre tout premier fichier typé.
• Types primitifs, tableaux et unions simplesApprenez les trois types de base, la façon de typer un tableau et la création d'unions de types.
• Objets et interfacesDécrivez la forme de vos objets avec des types précis, puis rendez-les réutilisables grâce aux interfaces.
• Typer les fonctions : paramètres, retour, optionnelsSécurisez vos fonctions en typant leurs paramètres, leur valeur de retour et leurs paramètres optionnels.
• Inférence, any et unknownLaissez TypeScript deviner les types grâce à l'inférence, et comprenez pourquoi préférer unknown au dangereux any.

Progression

Intermédiaire - construire de vrais projets

• type vs interface : extends et intersectionChoisissez la bonne construction pour modéliser et composer vos types d'objets sans dupliquer de code.
• Types littéraux et unions discriminéesModélisez les états de votre application avec des unions que le compilateur vérifie à votre place.
• Enums et const assertions : les alternatives modernesComprenez les limites des enums et dérivez vos types depuis des constantes figées avec as const.
• Génériques : fonctions et types génériques simplesÉcrivez des fonctions et des types réutilisables qui conservent la précision des types à chaque appel.
• Typer du code réel : DOM, fetch, JSONGardez des types fiables aux frontières de votre application, là où le DOM, le réseau et le JSON échappent au compilateur.

Perfectionnement

Confirmé - patterns avancés et performance

• Narrowing : typeof, in, instanceof et type guardsVous maîtrisez les mécanismes de rétrécissement de type et écrivez vos propres prédicats pour fiabiliser les unions.
• Génériques avancés : contraintes et valeurs par défautVous contraignez vos paramètres de type avec extends et fournissez des valeurs par défaut pour des API génériques ergonomiques.
• Types utilitaires : Partial, Pick, Omit, Record, ReturnTypeVous dérivez des types depuis une source unique avec les utilitaires natifs pour éliminer la duplication et ses désynchronisations.
• never, exhaustivité et unions discriminées avancéesVous modélisez vos états avec des unions discriminées et verrouillez leur exhaustivité grâce au type never.
• tsconfig strict : options clés et erreurs courantesVous comprenez ce que le mode strict active réellement et savez traiter les erreurs typiques qu'il révèle dans un projet existant.

Maîtrise

Expert - architecture, internals et cas limites

• Types conditionnels et infer : la logique du compilateurMaîtrisez la distributivité des types conditionnels, le filtrage de motif avec infer et les cas limites comme never, any et boolean.
• Mapped types et key remapping : transformer des typesComprenez comment les mapped types homomorphes préservent les modificateurs et comment la clause as renomme ou filtre les clés.
• Template literal types : des chaînes calculées à la compilationExploitez les template literal types pour générer des unions par produit cartésien et parser des littéraux de chaîne avec infer.
• Surcharges, this typé et varianceComprenez la résolution des surcharges, le pseudo-paramètre this et les règles de variance qui gouvernent l'assignabilité des fonctions.
• Patterns de production : branded types, satisfies et .d.tsAppliquez les patterns experts qui sécurisent une base de code réelle : nominalité simulée, validation sans élargissement et déclarations ambiantes.