[reactive] Feedback on my first Reactive program: Monad Laws

[Conal Elliott]

We discovered during quickchecking that a monad associativity law can fail.
And that it's a semantic bug, not an implementation bug.  I don't know
whether Freddie is running into this same issue or something else.  - Conal

On Sun, Mar 29, 2009 at 8:27 PM, Jake McArthur <jake.mcarthur at gmail.com>wrote:

> Freddie Manners wrote:
>
>> I've hit a rather fundamental problem: it seems Event doesn't obey the
>> Monad laws.
>>
>
> Yes, this is a known problem. Event is not a Monad. I don't think there are
> plans to correct it any time soon. My personal preference is to pretend that
> Event has no Monad instance.
>
> - Jake
>
> _______________________________________________
> Reactive mailing list
> Reactive at haskell.org
> http://www.haskell.org/mailman/listinfo/reactive
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/reactive/attachments/20090330/0f82b4e1/attachment.htm