Emily Pillmore

Emily is a full contact Haskell-enthusiast and content firehose

Hulk SMASH: re-imagining the Maybe-monad and its design space

The maybe monad one of the first monads young Haskellers learn. But how much do we really know about it beyond the definition and some simple uses? In this talk, we’ll be reviewing the Maybe monad from a variety of angles: the Haskell perspective, the geometric perspective, and the categorical perspective, to demystify and build the theory of shapes that define the calculus of Maybe-types.