Formation 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 du cours.

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. Établit un lien entre la discipline des types et la réduction des erreurs d'exécution.

Leçon 3 • Typage fort vs typage faible

Distingue l'application stricte des types de la coercition permissive. Clarifie les idées fausses courantes sur la force du typage.

Leçon 4 • Types primitifs vs types composites

Oppose les types atomiques primitifs aux types composites structurés. Prépare les étudiants à 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 étudiants prédisent les résultats de la coercition dans les expressions de types mixtes.

Leçon 2 • Types entiers et plages

Couvre les entiers signés et non signés selon les largeurs de bits courantes. Les étudiants 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 de performance. Renforce tous les concepts numériques par 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 étudiants identifient la perte de précision et les artefacts d'arrondi.

Leçon 1 • Valeurs véridiques et fausses

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

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

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

Leçon 3 • Bases de l'encodage des caractères

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

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

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

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

Applique les expressions régulières et la normalisation Unicode pour valider et nettoyer les chaînes d'entrée. Établit un lien avec les exigences de qualité des données et de sécurité.

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

Enseigne les chaînes de format, les littéraux de modèle et la syntaxe d'interpolation. Les étudiants produisent un résultat formaté lisible et sécurisé contre l'injection.

Leçon 3 • Mécanismes internes et disposition mémoire des chaînes

Révèle comment les chaînes sont stockées en mémoire comme séquences de caractères. Établit un lien entre la disposition interne et les 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 textuel subséquent.

Leçon 1 • Listes dynamiques et tableaux redimensionnables

Explique comment les listes dynamiques croissent en réallouant les tableaux sous-jacents. Les étudiants 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'ordonnancement, l'unicité et les modèles d'accès. Synthétise tous les types de collections par 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 étudiants appliquent les opérations ensemblistes à la déduplication 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 bornes. Établit les tableaux comme base de tous les types de collections.

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

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

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

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

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

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

Leçon 3 • Techniques de transtypage explicite

Couvre la syntaxe de transtypage sécurisée et non sécurisée selon les paradigmes. Les étudiants appliquent le principe de moindre privilège de transtypage pour minimiser la perte de données.

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

Présente l'inspection de type à l'exécution pour valider les types avant utilisation. Établit un lien entre les gardes de type et les modèles de programmation défensive.

Leçon 1 • Alias de type et wrappers newtype

Distingue les alias transparents des wrappers newtype opaques. Les étudiants 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 étudiants remplacent les nombres et chaînes magiques par des énumérations sécurisées par type.

Leçon 3 • Types récursifs et variants récursifs

Modélise des structures autoréférentielles comme les arbres et les listes chaînées. Établit un lien entre les types récursifs et l'implémentation de structures de données.

Leçon 4 • Types union et somme

Présente les types qui contiennent un de plusieurs types alternatifs à l'exécution. Les étudiants utilisent la correspondance de modèles exhaustive pour gérer toutes les variantes en toute sécurité.

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

Explique comment les compilateurs déduisent les types automatiquement et quand des annotations explicites sont nécessaires. Les étudiants é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 étudiants conçoivent des API qui communiquent l'intention par les types.

Leçon 3 • Évaluation des systèmes de types selon les langages

Compare les systèmes de types de plusieurs langages courants à l'aide de critères cohérents. Les étudiants sélectionnent le bon système de types de langage pour un contexte de projet donné.

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

Présente les paramètres de type qui permettent des abstractions réutilisables et sécurisées par type. Les étudiants écrivent des fonctions et des conteneurs génériques sans sacrifier la sécurité.