book

Apprendre TypeScript

by Josh Goldberg

November 2024

Intermediate to advanced

320 pages

7h 30m

French

O'Reilly Media, Inc.

Book available

Read now

Unlock full access

Qui devrait lire ce livre ?Pourquoi j'ai écrit ce livreNaviguer dans ce livreExemples et projetsConventions utilisées dans ce livreUtiliser des exemples de codeApprentissage en ligne O'ReillyComment nous contacterRemerciements
Histoire de JavaScriptLes pièges de JavaScript VanillaUne liberté qui coûte cherDocumentation en vracOutil de développement plus faibleTypeScript !Débuter sur le terrain de jeu de TypeScriptTypeScript en actionLa liberté par la restrictionDocumentation préciseDes outils plus performants pour les développeursSyntaxe de compilationCommencer au niveau localCourir localementCaractéristiques de l'éditeurCe que TypeScript n'est pasUn remède au mauvais codeExtensions de JavaScript (en grande partie)Plus lent que JavaScriptFini d'évoluerRésumé
Qu'est-ce qu'un type ?Systèmes de typeTypes d'erreursCessibilitéComprendre les erreurs d'assignationAnnotations de typeAnnotations de type inutilesType de formesModulesRésumé
Types de syndicatsDéclaration des types d'unionPropriétés de l'UnionRétrécissementLimitation de l'affectationChèques conditionnelsType de chèqueTypes littérauxCessibilité littéraleVérification stricte de la nullitéL'erreur d'un milliard de dollarsLe rétrécissement de la véritéVariables sans valeurs initialesAlias de typeLes alias de type ne sont pas JavaScriptCombinaison d'alias de typeRésumé
Types d'objetsDéclaration des types d'objetsTypes d'objets aliasésTypage structurelVérification de l'utilisationVérification des biens excédentairesTypes d'objets imbriquésPropriétés optionnellesUnions de types d'objetsUnions de type objet déduitesUnions explicites de type objetLimiter les types d'objetsSyndicats discriminésTypes d'intersectionsDangers des types d'intersectionRésumé
Paramètres de fonctionParamètres requisParamètres optionnelsParamètres par défautParamètres de reposTypes de retourTypes de retour explicitesTypes de fonctionsType de fonction ParenthèsesType de paramètre InférencesAlias de type de fonctionPlus de types de retourRetour à la case départNe revient jamaisSurcharges de fonctionsCompatibilité des signatures d'appelRésumé
Types de tableauxTypes de tableaux et de fonctionsTableaux de type unionÉvolution des tableauxTableaux multidimensionnelsMembres du tableauMise en garde : Membres douteuxS'étale et se reposeÉcartsParamètres d'étalement du reposTuplesAttribuabilité des n-upletsInférences de tupleRésumé
Alias de type par rapport aux interfacesTypes de propriétésPropriétés optionnellesPropriétés en lecture seuleFonctions et méthodesSignatures de l'appelSignatures de l'indexInterfaces imbriquéesExtensions de l'interfacePropriétés surchargéesExtension des interfaces multiplesFusion d'interfacesConflits de noms de membresRésumé

Méthodes de classePropriétés de la classePropriétés de la fonctionVérification de l'initialisationPropriétés optionnellesPropriétés en lecture seuleLes classes en tant que typesClasses et interfacesMise en place d'interfaces multiplesExtension d'une classePossibilité d'extensionConstructeurs surchargésMéthodes surchargéesPropriétés surchargéesClasses abstraitesVisibilité des membresModificateurs de champs statiquesRésumé
Types supérieursn'importe lequel, encoreinconnuePrédicats de typeOpérateurs de typeclé detype deAssertions de typeAffirmer les types d'erreurs attrapéesAssertions non nullesMises en garde concernant les assertions de typeAssertions constantesDes littéraux aux primitifsObjets en lecture seuleRésumé
Fonctions génériquesTypes d'appels génériques explicitesParamètres des types de fonctions multiplesInterfaces génériquesTypes d'interfaces génériques déduitesClasses génériquesTypes de classes génériques explicitesExtension des classes génériquesImplémentation des interfaces génériquesMéthodes génériquesGénériques de classes statiquesAlias de type génériqueSyndicats génériques discriminésModificateurs génériquesDéfauts génériquesTypes génériques contraintskeyof et paramètres de type contraintPromessesCréer des promessesFonctions asynchronesBien utiliser les génériquesLa règle d'or des génériquesConventions d'appellation génériquesRésumé
Dossiers de déclarationDéclarer des valeurs d'exécutionValeurs mondialesFusion d'interfaces globalesAugmentations globalesDéclarations intégréesDéclarations de la bibliothèqueDéclarations DOMDéclarations de modulesDéclarations de modules de type jokerTypes de paquetsdéclarationTypes de paquets de dépendanceExposer les types de paquetsDefinitelyTypedType DisponibilitéRésumé
Naviguer dans le codeDéfinitions des résultatsTrouver des référencesRecherche d'implémentationsCode d'écritureCompléter les nomsMises à jour automatiques des importationsActions du codeTravailler efficacement avec les erreursErreurs du service linguistiqueRésumé
Options tscPretty ModeMode montreFichiers TSConfigtsc --initCLI versus configurationInclusions de fichiersinclureexclureExtensions alternativesSyntaxe JSXresolveJsonModuleÉmettreoutDircibleÉmettre des déclarationsCartes sourcesnoEmitContrôle de typelibskipLibCheckMode strictModulesmodulemoduleResolutionInteropérabilité avec CommonJSmodules isolésJavaScriptallowJscheckJsSupport JSDocExtensions de la configurations'étendBases de configurationRéférences du projetcompositeréférencesMode constructionRésumé
Propriétés des paramètres de classeDécorateurs expérimentauxEnumsValeurs numériques automatiquesEnums à valeur de chaîneConst EnumsEspaces de nomsExportations d'espaces de nomsEspaces de noms imbriquésEspaces de noms dans les définitions de typesPréférer les modules aux espaces de nomsImportations et exportations par typeRésumé
Types mappésTypes mappés à partir de typesModifier les modificateursTypes génériques mappésTypes conditionnelsTypes conditionnels génériquesType DistributivitéTypes déduitsTypes conditionnels mappésjamaisJamais et Intersections et UnionsTypes jamais et conditionnelsTypes jamais et mappésTypes de modèles littérauxTypes de manipulation intrinsèque des chaînes de caractèresTouches littérales du modèleRemapper les touches de type mappéOpérations de type et complexitéRésumé

Content preview from Apprendre TypeScript

Chapitre 9. Modificateurs de type

Cet ouvrage a été traduit à l'aide de l'IA. Tes réactions et tes commentaires sont les bienvenus : translation-feedback@oreilly.com

Types de types à partir de types.

"Ce sont des tortues sur toute la ligne".

Anders aime à dire .

À ce stade, tu as tout lu sur la façon dont le système de types TypeScript fonctionne avec les constructions JavaScript existantes telles que les tableaux, les classes et les objets. Pour ce chapitre et le chapitre 10, "Génériques", je vais aller plus loin dans le système de types lui-même et montrer des fonctionnalités qui se concentrent sur l'écriture de types plus précis, ainsi que de types basés sur d'autres types.

Types supérieurs

J'ai mentionné sur le concept de type inférieur au chapitre 4, "Objets", pour décrire un type qui ne peut avoir aucune valeur possible et qui ne peut pas être atteint. Il est logique que le contraire puisse également exister dans la théorie des types. C'est le cas !

Un type supérieur, ou type universel, est un type qui peut représenter toutes les valeurs possibles dans un système. Les valeurs de tous les autres types peuvent être fournies à un emplacement dont le type est un type supérieur. En d'autres termes, tous les types peuvent être assignés à un type supérieur.

n'importe lequel, encore

Le type any peut agir comme un type supérieur, en ce sens que n'importe quel type peut être fourni à un emplacement de type any.any est généralement utilisé lorsqu'un emplacement est autorisé à accepter ...