Exercices corrigés — Types et structures de données abstraites (informatique (MP2I/MPI))
15 exercices avec corrigé rédigé, du plus simple au plus exigeant.
- Lire un type sans l'écrire
- Trois lignes, trois effets
- Constructeur, accesseur, transformateur
- Écrire un contrat avant toute réalisation
- Ce que le type opaque interdit, mot pour mot
- L'invariant que seule l'abstraction protège
- Pourquoi 'a t et non t
- Trier une chaîne ne rend pas la recherche logarithmique
- Trois lignes, une matrice fausse
- Le coût de l'abstraction, mesuré
- Probleme – Un ensemble d'entiers, trois réalisations, un critère
- Probleme – Le type somme d'OCaml contre l'union de C
- Probleme – Un module OCaml compilé : ce que la signature refuse
- Probleme – Mutable ou persistant : une pile qu'on peut annuler
- Probleme – Choisir d'après le profil des opérations