[Haskell-cafe] Monad Description For Imperative Programmer

[Alexis Hazell]

On Wednesday 01 August 2007 17:02, Kaveh Shahbazian wrote:
> This is about to put a definition/description to test. So please cooperate!
> ;)
> Is this a useful – sufficient, not complete – definition/description for a
> monad; for an imperative mind: (?)
>
> "A monad is like a loop that can run a new function against it's variable
> in each iteration."

At least in the context of Haskell, that's not correct.

For a recent discussion about a simple definition of Haskell monads, see the 
thread beginning at:

http://permalink.gmane.org/gmane.comp.lang.haskell.cafe/25882


Alexis.