Monad Laws Must Be Checked

Published: 22 Jul 2018

Uploaded: 29 Dec 2023

Description: view

Slideshow: view - 373 views

All slides : view

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

Speakerdeck: slideshow - 62 views - uploaded 29 Dec 2023

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

373

	17		18		114

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.