Applicative and Monad


I presented this workshop at LambdaConf Winter Retreat in January 2017. The first hour or so is an overview of the Applicative and Monad typeclasses in Haskell: what they are and how they are different from each other. It includes a demonstration of AccValidation and why that type does not have a Monad instance. It also covers usage of ApplicativeDo.

The second portion of the talk (roughly the second half) covers building an command-line parsing application using the optparse-applicative library.

The code and slides are all available here.

Video of the talk:

If you like my writing, consider buying me coffee or check out Type Classes, where I teach and write about Haskell and Nix.