Monads

Ashley Yakeley ashley@semantic.org
Thu, 17 May 2001 02:12:16 -0700


At 2001-05-17 02:03, Jerzy Karczmarczuk wrote:

>Monads are *much* more universal than that. They are "convenient patterns"
>to code the non-determinism (lazy list monads), to generalize the concept
>of continuations, to add tracing, exceptions, and all stuff called
>"computation" by the followers of Moggi. They are natural thus to construct
>parsers. Imperative programming is just one facet of the true story.

Perhaps, but mostly monads are used to model imperative actions. And 
their use in imperative programming is the obvious starting point to 
learning about them.

-- 
Ashley Yakeley, Seattle WA