Programmation fonctionnelle
Licence InformatiqueParcours Informatique
Description
Cette UE présente le paradigme de programmation fonctionnelle, ses principes fondateurs (composition de fonctions, variables au sens mathématique, propriété de transparence référentielle, pureté), les concepts de base permettant d’écrire un programme dans ce mode (équation fonctionnelle, application de fonction, conditionnelle, fonction anonyme, définition temporaire, récursivité), ainsi que des notions plus avancées (fonctionnelles, fonctions d'ordre supérieur, curryfication, application partielle). Les types omniprésents dans les langages fonctionnels récents y sont étudiés (constructeurs * et ->, types produits et sommes, types récursifs (exemple des listes), filtrage, polymorphisme, calcul ou inférence de types). Les différentes stratégies d’évaluation (évaluation affairée, paresseuse) des expressions fonctionnelles y sont discutées. Les programmes illustratifs sont écrits en utilisant le langage support Haskell.
Compétences requises
À l'entrée de cette UE, un étudiant devrait avoir suivi un enseignement de mathématiques introduisant aux notions suivantes : ensembles, suites récurrentes, fonctions (dérivée, intégrale), équations (résolution d'une équation du premier ou du second degré), preuve par récurrence.
Compétences visées
À l'issue de cette UE, un étudiant est capable de :
- faire la distinction entre l'approche fonctionnelle et l'approche impérative
- programmer en utilisant le mode fonctionnel dans tout langage de programmation l’autorisant
- utiliser le procédé de programmation par filtrage
- reconnaître et réutiliser les principales fonctions d’ordre supérieur (fold,map) sur les listes
- se rapprocher des termes du problème en définissant et en utilisant de nouveaux types
Bibliographie
Références :
- Graham Hutton, Programming in Haskell, Cambridge University Press, 2007
- Simon Thompson, Haskell: The Craft of Functional Programming, Addison Wesley, 2011
- Eric Violard, Mini-manuel de Programmation fonctionnelle, Dunod, 2014