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