[Haskell-cafe] Why were datatype contexts removed instead of "fixing them"?

[Edward Kmett]

That is because every other language conflates the notion of a class with a
vtable smashed into every inhabitant of the class where everything has to
be defined together in one monolithic definition.

You also can't write sensible Monads in those languages (Where does return
go?) or retroactively define new classes and make existing types instances
of it without controlling the source code to every instance.


On Fri, Apr 26, 2013 at 4:02 AM, Guy <guytsalmaves-h at yahoo.com> wrote:

> Dan Doel wrote:
>
>  I don't really think they're worth saving in general, though. I haven't
>> missed them, at least.
>>
>
> Maybe you haven't :-) My code is cluttered with redundant type contexts -
> I can't think of a similar redundancy in any other language.
>
>
>
>
> ______________________________**_________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/**mailman/listinfo/haskell-cafe<http://www.haskell.org/mailman/listinfo/haskell-cafe>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130426/57304f22/attachment.htm>