Re: PROPOSAL: Make Applicative a superclass of Monad

2008-06-27 Thread Neil Mitchell
Hi So does the silence = approval rule apply here? 2 days is not enough time :-) I disagree, its a breaking change from Haskell 98. It also means that if you want to provide syntactic sugar for do notation, i.e. my Test monad, you have to jump through more hoops.

RE: PROPOSAL: Make Applicative a superclass of Monad

2008-06-27 Thread Sittampalam, Ganesh
Haskell' is about fixing existing practice, if it did go in, you would need some mechanism (i.e. class aliases) to ensure that it didn't break code. ... which is why we need class aliases!! I want to see this change, *and* I want to see class aliases. :-) I want class aliases,

Re: PROPOSAL: Make Applicative a superclass of Monad

2008-06-27 Thread John Meacham
On Thu, Jun 26, 2008 at 06:25:28PM -0700, Ashley Yakeley wrote: I wrote: Proposal: Make Applicative (in Control.Applicative) a superclass of Monad (in Control.Monad). So does the silence = approval rule apply here? I think that people believe this is generally a good idea, but until the