Programmation Fonctionelle

Université Paris-Diderot, UFR d'Informatique

J'ai donné ce cours de 2009/2010 jusqu'à 2013/2014. Depuis 2014/2015, le cours est repris par Michele Pagani.

Planning du cours en 2013/2014

Numéro Jour Contenu
1 20/9 Organisation et Introduction. Cours 1 : Expressions et identificateurs (jusqu'au définitions globales d'identificateurs).
2 27/9 Cours 1 terminé. Cours 2 : Types de base (jusqu'avant les tours de Hanoï)
3 4/10 Cours 2 terminé. Cours 3 : Listes.
4 11/10 Cours 4 : Types structurés (jusqu'au types algébriques avec constructeurs monomorphes et non-récursives).
5 18/10 Cours 4 terminé. Cours 5 : Fonctions d'ordre supérieur (jusqu'au mécanisme apply-eval).
6 25/10 Cours 5 terminé.
- 1/11 --- férié ---
7 8/11 Cours 6 : Exceptions. Cours 7 : Entrées/sorties et Graphisme (jusqu'à la fin du graphisme).
8 15/11 Cours 7 terminé. Cours 8 : Traits impératifs (jusqu'au rérences incluses).
9 22/11 Cours 8 terminé. Cours 9 : Compilation et Modules (justement commencé avec la compilation de programmes monolithiques).
10 29/11 Cours 9 : Compilation et Modules (jusqu'à la compilation avec make incluse).
11 6/12 Cours 9 terminé. Cours 10 : Algorithmes (jusqu`à la fonction reverse en temps linéaire incluse).
12 13/12 Cours 10 terminé.
13 20/12 Révision

Ressources Objective Caml


Ralf Treinen

Valid HTML 4.01 Transitional