Programmation fonctionnelle
Aix-Marseille Université, Master 1 Informatique, Luminy
Page AMeTICE
Cours magistraux et travaux dirigés
- CM1/TD1 (24 janvier 2022) : Introduction à l’UE, la programmation fonctionnelle, évaluation d’expressions [diapositives]
- CM2/TD2 (31 janvier 2022) : La bibliothèque standard Haskell, introduction aux types [diapositives]
- CM3/TD3 (7 février 2022) : Dérivation de types, curryfication de fonctions, expressions lambda, types polymorphiques [diapositives]
- CM4/TD4 (21 février 2022) : Classes de types, composition de fonctions [diapositives]
- CM5/TD5 (28 février 2022) : Définitions de types, schéma de récursion
foldr [diapositives]
- CM6/TD6 (7 mars 2022) : Révisions, fold de listes, fold d’autres structures de données [code] [réductions]
- CM7/TD7 (21 mars 2022) : Fold de types algébriques, évaluation paresseuse [diapositives]
- CM8/TD8 (28 mars 2022) : Évaluation avec partage de sous-expressions, raisonnement par équations sur les programmes [diapositives]
Travaux pratiques
- TP1 (21 février 2022) : Récursivité et listes [feuille]
- TP2 (28 février 2022) : Types de données algébriques et instances de classes [feuille]
- TP5 (4 avril 2022) : Fonctions qui renvoient des fonctions, arbres binaires de recherche [feuille]
Examens