2014 Applicative => Monad proposal

[Dan Burton]

+1 to the type class hierarchy enhancements
+1 to the {-# MINIMAL #-} pragma being added to GHC (and even to Haskell)
in conjunction with this change to assuage concerns. And color *that*
bikeshed any way you like; just give me the feature.

Well thought out, well presented. Let's move to the next phase, well
executed!

-- Dan Burton


On Thu, May 23, 2013 at 1:25 PM, Henning Thielemann <
lemming at henning-thielemann.de> wrote:

>
> On Thu, 23 May 2013, Nicolas Trangez wrote:
>
>  On Thu, 2013-05-23 at 21:56 +0200, Henning Thielemann wrote:
>>
>>> I am only concerned with this one:
>>>
>>>  - Promote `join` into the Monad typeclass
>>>>
>>>
>>> Currently, when I forget to implement the two essential Monad methods
>>> 'return' and '>>=' in a Monad instance, I get a warning. However with the
>>> mutual implementations of 'join' and '>>=' I do not get a warning but an
>>> infinite loop. Similarly, I already had nasty bugs with (a-b) defaulting
>>> to (a + negate b) and (negate a) defaulting to (0-a).
>>>
>>
>> http://hackage.haskell.org/**trac/ghc/ticket/7633<http://hackage.haskell.org/trac/ghc/ticket/7633>might help.
>>
>
> Then I withdraw my concerns.
>
>
> ______________________________**_________________
> Libraries mailing list
> Libraries at haskell.org
> http://www.haskell.org/**mailman/listinfo/libraries<http://www.haskell.org/mailman/listinfo/libraries>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20130523/96f13cb7/attachment.htm>