Programmation Fonctionnelle Avancée

But du cours

Ce cours est la suite du cours de L2 « Introduction à la programmation fonctionnelle ». On y présente :

Le paradigme fonctionnel et le langage OCaml (rappel)
L'utilisation de structure de données persistentes
La programmation récursive et son utilisation dans des algorithmes avancés (diviser pour régner, alogorithme avec retour arrière)
L'interaction entre programmation fonctionnelle est aspects impurs (structures de données mutables, boucles, …)
Outils de génie logiciels propres à OCaml : organisation du code avec les modules et les foncteurs, utilisation de dune

Le langage utilisé dans le cours est le langage OCaml.

Cours 1 :

Présentation, rappels sur le langage OCaml. cours 1 en HTML5 , cours 1 en PDF et version imprimable .

Cours 2 :

Cours 3 :

2023-2024, session 1 :
- le sujet
- le corrigé (bouton droit, enregisrer sous)
- le corrigé en ligne avec coloration syntaxique
2023-2024, session 2:
- le sujet
L'aide mémoire intégré aux sujets
2025-2025, session 2:
- le sujet
L'aide mémoire intégré aux sujets

Cours : mardi après-midi, Petit amphi du PUIO.
TP : jeudi, vendredi et lundi après-midi au PUIO
Chargés de TP : Renaud Vilmart puis Paul Patault (vendredi après-midi), François Pirot (lundi après-midi), Clémence Sebe (jeudi matin, vendredi après-midi).
Les supports de cours sont mis en ligne au plus tard la veille au soir
Les corrigés sont mis en ligne tous les mardi, avant le cours

La page dédiée aux livres sur OCaml.org contient de nombreuses ressources, dont des livres gratuits. Attention, certains concepts sont présentés différemment du cours.
Pour l'algorithmique en général, on ne peut que conseiller le livre Algorithms, 4th Edition (Sedgewick and Wayne, Ed. Addison-Wesley).