Monads and More: An introduction for software developers
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..
The source code appears to be in Text/Megaparsec/Internal.hs, although I haven't gotten my head around it yet.
I tried a simple example and it seems to work the way I expected.
How Megaparsec combines error information
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.)
I'm Glyn Normington. I dipped into Haskell briefly in about 2011, but recently got a little deeper into it when I taught a second year functional programming module at Winchester University, UK. I'm a retired programmer with 39 years experience and try to pass on some general tips in the module. I came here after recently deleting my Reddit account. (I've been on the Fediverse for a while as fosstodon.org/@underlap.)