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

Edward Kmett ekmett at gmail.com
Fri Apr 26 21:03:46 CEST 2013

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>

More information about the Haskell-Cafe mailing list