Cibles de formation : Formaliser les notions d’abstraction procédurale et d’abstraction de données dans le
cadre de la programmation fonctionnelle.
Contenu : Qualité, modularité, conception fonctionnelle. Processus récursifs et itératifs. Objets atomiques.
Listes. Abstraction d’ordre supérieur. Curryfication. Fermeture. Appels terminaux.
Modèle d’exécution d’un programme fonctionnel. Application de la programmation
fonctionnelle (structure de donnée non mutable, programmation par flots, pattern
matching. . . ). Insistance sur la qualité de la solution.