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

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 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@haskell.org http://www.haskell.org/mailman/listinfo/reactive