Monads: Structures de données avec lois

Cette séance de cours présente les monades en tant que structures de données avec des opérations map et flatMap qui doivent satisfaire à des lois spécifiques. Il couvre la définition des monades, des exemples comme List et Option, les lois de monade, et la vérification des lois en utilisant Option comme exemple.