Cours sur les types de données

Leçon 1 • Ce que les types de données représentent

Définit les types de données comme des contrats entre les valeurs et les opérations. Établit le vocabulaire utilisé tout au long de la formation.

Leçon 2 • Pourquoi les systèmes de types existent

Explique les motivations de sécurité et d'efficacité derrière les systèmes de types. Relie la discipline des types à moins d'erreurs d'exécution.

Leçon 3 • Typage fort vs. faible

Fait la distinction entre une application stricte des types et une coercition permissive. Clarifie les idées fausses courantes sur la force des types.

Leçon 4 • Types primitifs vs. composites

Contraste les types primitifs atomiques avec les types composites structurés. Prépare les apprenants à catégoriser tout type qu'ils rencontrent.

Leçon 1 • Promotion et coercition des types numériques

Décrit les conversions automatiques d'élargissement et de rétrécissement entre les types numériques. Les apprenants prédisent les résultats de coercition dans les expressions à types mixtes.

Leçon 2 • Types entiers et plages

Couvre les entiers signés et non signés sur des largeurs de bits courantes. Les apprenants calculent les plages de valeurs à partir de formules de largeur de bits.

Leçon 3 • Choisir le bon type numérique

Applique des critères de sélection basés sur la plage, la précision et les besoins en performance. Renforce tous les concepts numériques à travers des exercices de décision.

Leçon 4 • Représentation en virgule flottante

Explique la représentation binaire IEEE 754 des nombres réels. Les apprenants identifient la perte de précision et les artefacts d'arrondi.

Leçon 1 • Valeurs truthy et falsy

Explique comment les valeurs non booléennes sont converties en booléen dans les langages dynamiques. Les apprenants évitent les bogues courants liés à la vérité.

Leçon 2 • Null et Undefined comme valeurs spéciales

Examine null et undefined comme marqueurs distincts d'absence de valeur. Les apprenants appliquent des modèles de sécurité null pour prévenir les erreurs de référence null.

Leçon 3 • Bases du codage des caractères

Présente l'ASCII et l'Unicode comme base des types de caractères. Les apprenants associent les caractères aux points de code et aux séquences d'octets.

Leçon 4 • Le type caractère en pratique

Couvre la façon dont les langages représentent un seul caractère et ses opérations. Fait le pont entre les types caractères et la construction de chaînes.

Leçon 1 • Validation et normalisation des chaînes

Applique des expressions régulières et la normalisation Unicode pour valider et nettoyer les chaînes d'entrée. Relie à la qualité des données et aux exigences de sécurité.

Leçon 2 • Formatage et interpolation de chaînes

Enseigne les chaînes de format, les littéraux de template et la syntaxe d'interpolation. Les apprenants produisent des sorties formatées lisibles et résistantes aux injections.

Leçon 3 • Internes des chaînes et disposition mémoire

Révèle comment les chaînes sont stockées en mémoire comme des séquences de caractères. Relie la disposition interne aux implications de performance.

Leçon 4 • Opérations de base sur les chaînes

Couvre le découpage, la recherche, le remplacement et la division des chaînes. Construit la boîte à outils de manipulation utilisée dans tout le travail ultérieur sur le texte.

Leçon 1 • Listes dynamiques et tableaux redimensionnables

Explique comment les listes dynamiques croissent en réallouant les tableaux sous-jacents. Les apprenants comprennent le coût amorti et la gestion de la capacité.

Leçon 2 • Choisir le bon type de collection

Applique des critères de sélection basés sur l'ordre, l'unicité et les modèles d'accès. Synthétise tous les types de collections à travers des exercices comparatifs.

Leçon 3 • Ensembles : collections d'éléments uniques

Présente les ensembles comme des collections non ordonnées avec des garanties d'unicité. Les apprenants appliquent les opérations sur les ensembles au dédoublonnage et aux tests d'appartenance.

Leçon 4 • Tableaux : séquences de taille fixe

Couvre les tableaux mémoire contigus, l'indexation et la vérification des limites. Établit les tableaux comme base pour tous les types de collections.

Leçon 5 • Dictionnaires et magasins clé-valeur

Couvre les tables de hachage et les arbres de recherche comme structures de données associatives. Les apprenants implémentent des modèles de recherche, d'insertion et d'itération.

Leçon 1 • Conception pour la sécurité des types

Applique des modèles de conception sûrs pour les types afin de prévenir les erreurs de conversion par construction. Renforce les principes de sécurité pour tous les types précédemment étudiés.

Leçon 2 • Erreurs de type et débogage

Catalogue les erreurs de type courantes et leurs causes racines. Les apprenants utilisent les messages d'erreur et les traces de pile pour localiser et corriger les bogues de type.

Leçon 3 • Techniques de cast explicite

Couvre la syntaxe de cast sûre et non sûre selon les paradigmes. Les apprenants appliquent le principe du moindre privilège de cast pour minimiser la perte de données.

Leçon 4 • Gardes de type et vérifications à l'exécution

Introduit l'inspection de type à l'exécution pour valider les types avant utilisation. Relie les gardes de type aux modèles de programmation défensive.

Leçon 1 • Alias de type et wrappers newtype

Fait la distinction entre les alias transparents et les wrappers newtype opaques. Les apprenants améliorent la clarté du code et préviennent les bogues de confusion d'unités.

Leçon 2 • Énumérations et constantes nommées

Définit les énumérations comme des ensembles fermés de valeurs nommées. Les apprenants remplacent les nombres magiques et les chaînes par des énumérations sûres pour les types.

Leçon 3 • Types récursifs et à variante récursive

Modélise des structures auto-référentielles telles que les arbres et les listes chaînées. Relie les types récursifs à l'implémentation de structures de données.

Leçon 4 • Types union et somme

Présente les types qui contiennent un type parmi plusieurs types alternatifs à l'exécution. Les apprenants utilisent le filtrage par motif exhaustif pour gérer toutes les variantes en toute sécurité.

Leçon 1 • Inférence et annotation de type

Explique comment les compilateurs déduisent les types automatiquement et quand des annotations explicites sont nécessaires. Les apprenants équilibrent la commodité de l'inférence avec la clarté des annotations.

Leçon 2 • Types dans la conception d'API et de schémas

Applique la réflexion sur les types aux contrats d'API, aux schémas de sérialisation et aux formats d'échange de données. Les apprenants conçoivent des API qui communiquent l'intention à travers les types.

Leçon 3 • Évaluation des systèmes de types dans différents langages

Compare les systèmes de types de plusieurs langages courants en utilisant des critères cohérents. Les apprenants sélectionnent le bon système de type de langage pour un contexte de projet donné.

Leçon 4 • Génériques et types paramétrés

Introduit les paramètres de type qui permettent des abstractions réutilisables et sûres pour les types. Les apprenants écrivent des fonctions et des conteneurs génériques sans sacrifier la sécurité.