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.
- Pourquoi 'a t et non t Exercice de TD
- Trier une chaîne ne rend pas la recherche logarithmique Exercice de TD
- Écrire un contrat avant toute réalisation Exercice de TD
- L'invariant que seule l'abstraction protège Exercice de TD
- Problème — Choisir d'après le profil des opérations Exercice de TD
- Problème — Mutable ou persistant : une pile qu'on peut annuler Exercice de TD
- Problème — Un ensemble d'entiers, trois réalisations, un critère Exercice de TD
- Lire un type sans l'écrire Application directe du cours
- Trois lignes, trois effets Application directe du cours
- Constructeur, accesseur, transformateur Application directe du cours
- Ce que le type opaque interdit, mot pour mot Application directe du cours
- Trois lignes, une matrice fausse Application directe du cours
- Le coût de l'abstraction, mesuré Application directe du cours
- Problème — Le type somme d'OCaml contre l'union de C Application directe du cours
- Problème — Un module OCaml compilé : ce que la signature refuse Application directe du cours