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
- 22/01: cours + TP1 sur le système de modules de (OCa)ML
- 29/01: fin du TP précédent (corrigé exo 1, exo 2, bonus: deux corrections)
- 05/02: TP2 sur les objets OCaml (mini-tutos sur l'OOCaml)
- 12/02: fin TP2 (corrigé exo 1, exo 2)
- 19/02: TP3 où l'on fait des effets (corrigé exos 1, 2 et 3)
- 05/03: cours typage avancé et TP4 (corrigés exo 1 et exo 2)
- 12/03: TP5 autour du backtracking (corrigés exo 1 et 2)
- 19/03: TP6 sur les (doubles) continuations
- 26/03: TP7 sur la défonctionalisation (corrigé exo 2)
- 09/04: TP8 où l'on construit des monades
- 12/04: DM autour de Prolog (PDF, code) à rendre le 7 mai
- 30/04: fin TP8 (enrichi d'un exo 4)
- 07/05: demi-séance dédiée à la correction du DM
- 14/05: TP9 pour une après-midi avec lwt
- 21/05: TP10 sur CDuce et la prog XML, pour finir!
- 27/05: correction DM