Séquence 5 - Purescript : foncteurs et monades

Quand, où :

Lundi, 23 février  2026, 7:55-12:00, Salle F119

Objectifs :

À la fin de cette séquence vous devez :

1. Connaitre la notion de foncteur (un type qui supporte la fonction map).
2. Connaitre des exemples de foncteurs (List, Seq, Array, Maybe, Either, etc.).
3. Connaitre les limites de map lorsque l'on enchaîne des opérations.
4. Connaitre les fonction bind (ou >>=) et pure (ou return).
5. Connaitre le fait que bind est souvent appelé flatMap dans d'autre langage (notamment Java et JavaScript)
6. Connaitre la notion de monade (un foncteur qui supporte les méthodes bind et pure).
7. Connaitre des exemples de monades (List, Seq, Array, Maybe, Either, etc.)
8. Connaitre l'utilité du bloc do (sucre syntaxique) pour les bind.
9. Connaitre la notion de monade d'effet (Effect / IO) et ce que cela représente.