Update Monads
Details
Speaker: Gabe Dijkstra
https://gdijkstra.github.io/
The reader, writer, and state monads are often the first monads encountered by many a beginning functional programmer. On the surface, these three monads seem to be very much related. However, we cannot instantiate the reader and writer monads as specialisations of the
state monad. Conversely, we cannot realise the state monad as a combination reader and writer monads.
In their 2013 paper "Update Monads: Cointerpreting Directed Containers", Danel Ahman and Tarmo Uustalu introduce a generalisation of these three monads, called update monads. This generalisation provides the missing piece to the puzzle that makes clear the relationships between the reader, writer, and state monads.
In this talk Gabe will discuss a couple of applications of update monads in a Haskell setting, as well as some more theoretical niceties.
Update Monads