Will be streamed tonight, 2024-10-16, at 1830 UTC, live on YouTube.
Abstract:
Function composition is the idea that we can take two functions and create a new function, which applies the two functions one after the other. When viewed from the right angle, monads generalize this idea from functions to programs: construct new programs by running other programs one after the other. In this episode we make this simple idea precise. We will also see what the monad laws look like in this setting, and we will discuss an example of what goes wrong when the monad laws are broken.
Full announcement here: The Haskell Unfolder Episode 34: you already understand monads - Well-Typed: The Haskell Consultants