On 15.04.2017 07:04, Timon Gehr wrote:
You said "come about when". Those things "came about" in Haskell. This is the original monad paper (in an fp context): homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf
Actually, it is this one: https://page.mi.fu-berlin.de/scravy/realworldhaskell/materialien/the-essence-of-functional-programming.pdf
