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.

À 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.