Séance de cours
Monads: Structures de données avec lois
Description
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.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.