Programmation Fonctionnelle Avancée
TP Noté de PFA
Attention, les liens ci-dessous vers l'archive et l'énoncé ne sont pas encore actifs, merci de recharger la page lors que le surveillant indiquera le début de l'épreuve pour pouvoir télécharger.
- Le script d'initialisation du TP (aussi présent dans l'archive)
$ chmod +x init-tp.sh $ ./init-tp.sh
Puis redémarrer le terminal. - L'énoncé
- Le code à compléter
- Le site de soumission
But du cours
Ce cours est la suite du cours de L2 « Introduction à la programmation fonctionnelle » et d'une partie du cours de L2 « Outils Logiques et Algorithmiques ». 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
.
- Le sujet du TP 1.
- Le L'archive du TP 1 à compléter
- Le corrigé du TP 1
- Cours 2 : Rappels sur le langage OCaml (fin).
cours 2 en HTML5
, cours 2 en
PDF et version
imprimable
.
- 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.
- 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.
- Le corrigé du TP 5.
- Cours 6 : Traits impératifs d'OCaml
cours 6 en HTML5
, cours 6 en
PDF et version
imprimable
.
- Le sujet du TP 6.
- L'archive avec le code à compléter.
- Le corrigé du TP 6.
- Cours 7 : Tables de hachage
cours 7 en HTML5
, cours 7 en
PDF et version
imprimable.
- Le sujet du TP 7.
- L'archive avec le code à compléter.
- Le corrigé du TP 7.
- Cours 8 : Trie (traille)
cours 8 en HTML5
, cours 8 en
PDF et version
imprimable.
- Le code de la recherche dans un trie :
- Le sujet du TP 8.
- L'archive avec le code à compléter.
- Le corrigé du TP 8.
- Cours 9 : Trie (fin)
cours 9 en HTML5
, cours 9 en
PDF et version
imprimable.
- Continuer le TP 8
- L'archive avec le code à compléter (l'exercice 1 est déjà fait).
- Le script d'initialisation du TP.
- Cours 10 : Étude de cas
cours 10 en HTML5
, cours 10 en
PDF et version
imprimable.
- Le fichier d'idées écrit en cours collectivement pour arriver à la solution
- Le code écrit en cours est dans l'archive du TP
- Le sujet du TP 10.
- L'archive avec le code à compléter.
- Le corrigé du TP 10.
- Cours 11 : Étude de cas, backtracking
cours 11 en HTML5
, cours 11 en
PDF et version
imprimable.
- Le sujet du TP 11.
- L'archive avec le code à compléter.
- Le corrigé du TP 11.
- Cours 12 : Révisions
cours 12 en HTML5
, cours 12 en
PDF et version
imprimable.
- Le code à compléter. Les descriptifs des questions sont dans les supports de cours 12.
- Le corrigé du TP 12.
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:
- 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
- Chargés de TP : Paul Patault (jeudi), François Pirot (vendredi, lundi), Clémence Sebe (vendredi).
- 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