Talk:Monads/Maybe monad: Difference between revisions
→Foundational references
Line 49:
(The writer (or supplied write-and-wrap function) drafts a response, and places it in a new envelope, continuing the chain of correspondence)
The data-type or context (the envelope) is not the monad. The monad is the envelope-type-specific pair of functions which abstract away the boiler-plate required for wrapping and unwrapping, (extraction from a context, and embedding in that context), to facilitate a chain of
===Foundational references===
[https://core.ac.uk/download/pdf/21173011.pdf| Moggi 1991, Notions of computation and monads]
[https://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf| Wadler 1992, Monads for functional programming]
| |||