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.

Plan du cours, supports de cours et de TP

Cours 1 :

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

Cours 2 :

Rappels sur le langage OCaml (fin). cours 2 en HTML5 , cours 2 en PDF et version imprimable .

• Le sujet du TP 2
• L'archive avec le code à compléter.
• Le corrigé du TP 2.

Cours 3 :

Arbres binaires de recherche (1). cours 3 en HTML5 , cours 3 en PDF et version imprimable .

• Le sujet du TP 3.
• L'archive avec le code à compléter.
• Le corrigé du TP 3.

Cours 4 :

Modules, Foncteurs et compilation séparée. cours 4 en HTML5 , cours 4 en PDF et version imprimable .

• Le sujet du TP 4.
• L'archive avec le code à compléter.
• Le corrigé du TP 4.
• Attention, le corrigé a été modifié suite au cours du 29/09. La fonction subset_without_duplicates est maintenant commentée en détail et une version plus naive (celle initialement donnée en amphi avant de l'améliorer) est aussi fournie et commentée dans le fichier.

Cours 5 :

Modules, Foncteurs et compilation séparée (fin) cours 5 en HTML5 , cours 5 en PDF et version imprimable .

• Le sujet du TP 5.
• L'archive avec le code à compléter.

Cours 6 :

Traits impératifs d'OCaml cours 6 en HTML5 , cours 6 en PDF et version imprimable .

• Compiler explorer, Toplevel OCaml avec représentation des valeurs en mémoire
• Le sujet du TP 6.
• L'archive avec le code à compléter.

Examens passés

• 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

Information pratiques

• 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

Resources complémentaires

• 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).