Programmation Avancée
Travaux Pratiques
Les travaux pratiques ont lieu les mercredi en C411 à partir de 16h45. Ils sont organisés par David Baelde (page web, mail).
Séances
- 21/01: TP1 sur le système de modules de (OCa)ML (corrigé: ML, HTML)
- 28/01: TP2 sur les objets (corrigé exo 1: ML, HTML)
- 04/02: fin du TP2 (corrigé 2.2, alternative discutable, code complet)
- 11/02: TP3 avec des types fantômes (corrigé)
- 18/02: pas de TP, mais quelques katas à faire la maison pour rester en forme!
- 04/03: TP4 sur les exceptions et le contrôle (corrigés 1 2)
- 11/03: TP5 avec de la combinatoire et des continuations (corrigé exo 1 et 2)
- 11/03: DM/projet sur Enigma, énoncé et base de code (mise à jour mineure des deux le 12 mars)
- 18/03: TP6 avec des monades et des chèvres (une solution pour l'exo 2)
- 25/03: TP7 sur le parsing monadique (corrigé)
- 01/04: TP8 à base d'itérateurs persistants, CPS et défonctionalisation
- 08/04: corrigé DM et fin TP8
- 15/04: TP9, parties 1 et 2
- 06/05: TP9, suite...
- 13/05: TP9 ... et fin.
- 20/05: Cours-TP sur les GADTs: correction exos 1 et 2