M1 2020/2021 : Programmation Fonctionnelle Avancée

Université de Paris, Faculté des Sciences, Campus des Grands Moulins, UFR d'Informatique
Voir ici pour une description du contenu du cours

Organisation du semestre

Planning indicatif du cours

Numéro Date Cours Contenu
1 20/01/2021 Chapitre 0 : Introduction, rappels OCaml [transparents] [exemples de code]
2 27/01/2021 Chapitre 1 : Le système de modules : structures, signatures [transparents] [exemples de code]
3 03/02/2021 Fin du chapitre 1. Le cours magistral est annulé, merci de regarder ces 3 videos : [partie 1] [partie 2] [partie 3].
Les TP ont lieu cette semaine comme d'habitude.
4 10/02/2021 Chapitre 2 : Structures fonctionnelles efficaces: Les Zippers [transparents] [exemples de code]
5 17/02/2021 Chapitre 3 : Structures fonctionnelles efficaces: files et arbres red-black, analyse de coût amorti [transparents] [exemples de code]
6 24/02/2021 Chapitre 4 : Évaluation paresseuse [transparents] [exemples de code]
7 03/03/2021 Chapitre 5 : Structures fonctionnelles efficaces : la paresse maîtrisée [transparents] [exemples de code]
8 10/03/2021 Chapitre 6 : Structures partagées : le hashconsing [transparents] [exemples de code]
9 17/03/2021 Chapitre 7 : Inférence de types, polymorphie et traits impératifs. [transparents] [exemples de code]
10 24/03/2021 Chapitre 8 : Usages avancés du système de type : variants polymorphes et sous-typage. [transparents] [exemples de code]
11 31/03/2021 Chapitre 9 : Usages avancés du système de type : types phantomes et GADTs [transparents] [exemples de code]
12 07/04/2021 Chapitre 10 : Introduction aux monades [transparents] [exemples de code]

Contrôle de connaissance

Ressources et Bibliographie

Référence du langage OCaml

Forums et listes de discussion

Une liste de forums dédiés à OCaml est maintenue sur le site d'Inria.

Livres et polycopiés

Équipe pédagogique

Ralf Treinen(Cours)
Pierre Letouzey (TD/TP)

Valid HTML 4.01 Transitional