Brian Beckman: Don't fear the Monad

Caption notes

Brian Beckman starts with function composition. He uses clock arithmetic to introduce associativity and an identity element, then asks how to pass a result along when the first step returns it in a computational context. He uses bind to connect those steps and shows how taking the initial input in an outer function makes the whole computation composable. He points to LINQ’s SelectMany as an example of this idea in query operations.