Programmation fonctionnelle
Concepts de programmation fonctionnelle en Haskell
Cours 01 : Pourquoi apprendre Haskell ?
Découvrir la programmation fonctionnelle et les particularités de Haskell.
Premières expressions, types, fonctions et évaluation paresseuse.
TP 01 : Premiers pas
Découvrir GHCi et écrire des expressions conditionnelles.
Définir ses premières fonctions, puis pratiquer la récursivité et les gardes.
Cours 02 : On commence à programmer
Tuples, listes, chaînes de caractères et fonctions utiles.
Premiers exemples de pattern matching, notamment sur les listes.
TP 02 : Pattern matching
Déterminer le type d'expressions Haskell.
Redéfinir des fonctions classiques sur les listes.
Cours 03 : Le système de types
Types concrets, variables de type et classes de type.
Contraintes de type et polymorphisme.
TP 03 : Typage
Comprendre l'inférence de type et retrouver le type le plus général d'une expression.
Définir de nouvelles fonctions en s'appuyant sur le système de types.