On Tue, Jan 13, 2009 at 11:21 AM, Tim Newsham <news...@lava.net> wrote:

> I have seen several libraries where all functions of a monad have the
>> monadic result (), e.g. Binary.Put and other writing functions. This is
>> a clear indicator, that the Monad instance is artificial and was only
>> chosen because of the 'do' notation.
>>
>
> Maybe that was the initial reason, but I've actually found the
> Binary.Put.PutM (where Put = PutM ()) to be useful.  Sometimes
> your putter does need to propogate a result...


But that's the whole point of Writer!  Take a monoid, make it into a monad.
Put as a monad is silly.

Luke
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to