underlap

I gave a talk on monads to some friends yesterday and recorded it for anyone who's interested. They are current and retired programmers, so the talk may suit others in that line of work.

I was encouraged to put this together after they heard about my functional programming lectures at Winchester University (UK). This video gathers together the material on monads and presents it at a faster pace, so it may be more suitable for experienced programmers than absolute beginners.

Thanks to those who joined in this video, for their questions, observations, and general patience.

A PDF file of the slides can be downloaded here.

I welcome questions, corrections, improvements etc..

How is error information combined when parsers are combined? For example, using <|> to combine parsers, I would expect the set of expected characters for an error to be the union of the sets of expected characters from the individual parsers. (I'm finding it hard to pin down the behaviour of <|> or even to find the relevant source code.)