Monad Laws Must Be Checked

Published: 22 Jul 2018

Uploaded: 29 Dec 2023

Number of slides: 8

Description: view

Slideshow: view - 1,268 views

All slides : view

Download: pdf (for a perfect viewing experience - see the slides as they are meant to be seen)

Speakerdeck: slideshow - 114 views - uploaded 29 Dec 2023

Slideshare: slideshow - 1,024 views - uploaded 22 Jul 2018

1268

184

	38		40		220

Here I link up up some very useful material by Robert Norris (@tpolecat) and Martin Odersky (@odersky) to introduce Monad laws and reinforce the importance of checking the laws. E.g. while Option satisfies the laws, Try is not a lawful Monad: it trades the left identity law for the bullet-proof principle.