Introduction à la Programmation Fonctionnelle

But du cours

Ce cours est une introduction générale à la programmation fonctionnelle. On y présente :

• Le paradigme fonctionnel
• L'utilisation de structure de données persistentes
• La programmation récursive

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

Travailler avec OCaml

Les tutoriels suivants permettent d'installer OCaml sur votre machine ou de travailler à distance avec OCaml sous l'environnement JupyterHub. Un glossaire liste les termes utilisés, n'hésitez pas à le consulter si certains termes semblent obscurs.

• Instructions officielles. Elles devrait fonctionner sans trop de problème. En cas de soucis, vous pouvez regardez les tutoriels ci-dessous plus détaillés.
• Installation d'OCaml + VSCode sous Windows (mise à jour à venir, l'ancien document n'est plus correct)
• Installation d'OCaml sous WSL + VSCode sous Windows
• Installation d'OCaml sous MacOS
• Installation d'OCaml sous Linux : suivre le tutoriel sur la page
• Utilisation de JupyterHub pour OCaml (indisponible suite au piratage de l'Université mais reviendra bientôt)

Plan du cours, supports de cours et de TP

1. Cours 1 : Présentation, introduction au langage OCaml, types de base, fonctions récursives. cours 1 en HTML5 , cours 1 en PDF et version imprimable .
   • Le sujet du TP 1.
   • Le corrigé du TP 1
2. Cours 2 : Fonctions récursives avancées, inférence de types cours 2 en HTML5 , cours 2 en PDF et version imprimable .
   • Le sujet du TP 2.

Information pratiques

• Cours : mercredi après-midi, amphi H1, batiment 333.
• TP : mercredi après-midi (L2 Info GR2, LDD2 IM GR1 & GR2, jeudi matin L2 Info GR1 & GR2)
• Chargés de TP : Nicolas Dumange, Renaud Vilmart, Philippe Volte--Vieira, Izumi Watanabe
• Les supports de cours sont mis en ligne au plus tard la veille au soir
• Les corrigés sont mis en ligne tous les vendredi après-midi

Aide mémoire pour l'examen

Un aide mémoire est disponible pour l'examen et le TP noté.

Le sujet de première session 2020-2021avec un corrigé intégré est disponible ici.

Le sujet de première session 2021-2022 (sans le corrigé) est disponible ici.

Le sujet de première session 2022-2023 est disponible ici, avec un corrigé pour l'exercice 3 (le problème).

Le sujet de première session 2024-2025 est disponible ici (sans corrigé).

Le sujet de première session 2025-2026 est disponible ici (sans corrigé).