Dialogues on do notation
Dialogues on Haskell’s do notation, for loops, and related matters. These took place over several months, and we learned from each other in the process.
These dialogue snippets are from a series of conversations occurring over months, but we’ve edited them to try to present a mostly coherent presentation of what we think about
do notation and why.