[Haskell-cafe] Attempt to emulate subclasses in Haskell, am I reinventing the wheel?

David Feuer david.feuer at gmail.com
Mon Apr 20 19:25:33 UTC 2015


On Apr 20, 2015 2:26 PM, "Bardur Arantsson" <spam at scientician.net> wrote:
> Well, I would generally advise against trying to emulate a flawed
> concept in the first place. "OverlappingInstances" and
> "UndecidableInstances" are a red flag unless you know *exactly* what you
> are doing.

While I completely agree about OverlappingInstances, I completely disagree
about UndecidableInstances. Most of the time, that's only needed because
the termination check for FlexibleInstances and FlexibleContexts is too
primitive.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20150420/e68dc503/attachment.html>


More information about the Haskell-Cafe mailing list