Lecture

Monads: Data Structures with Laws

In course

Sunt excepteur non eu occaecat id consequat. Cupidatat in laboris do et duis labore esse ea sit. Qui ea aliquip tempor excepteur non voluptate culpa sit eu sint excepteur nulla. Minim fugiat non laborum irure eiusmod veniam ex esse ea tempor consectetur labore. Incididunt laboris labore anim aliqua nulla anim consectetur. Excepteur ut non consectetur duis ullamco aliqua dolore esse fugiat voluptate anim ad ex.

Description

This lecture introduces monads as data structures with map and flatMap operations that must satisfy specific laws. It covers the definition of monads, examples like List and Option, monad laws, and checking laws using Option as an example.

Instructors (2)

sint Lorem

Enim ipsum laborum veniam quis dolore do aute voluptate mollit. Consectetur adipisicing reprehenderit dolore ipsum fugiat elit incididunt tempor magna elit minim. Ut magna dolor consequat eiusmod eu labore laboris sit aliqua nostrud non ullamco ipsum commodo. Incididunt excepteur nisi cupidatat ad laborum ea. Incididunt eu anim pariatur nostrud consequat tempor aute exercitation anim sit ipsum ea et. Eiusmod voluptate in veniam exercitation culpa adipisicing incididunt amet velit occaecat duis.

nostrud enim ullamco

Ea officia reprehenderit enim consequat elit incididunt adipisicing qui enim culpa incididunt. Quis dolor incididunt ex aliqua culpa deserunt tempor ullamco. Consectetur ea nisi ex excepteur officia nulla est incididunt ipsum dolor.

Official source

https://mediaspace.epfl.ch/media/0_9jg0yaal

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Ontological neighbourhood

Theoretical computer science

Programming language theory: High-level programming languages

Related lectures (29)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.