[Haskell-cafe] Increasing Haskell modularity

Gesh gesh at gesh.uni.cx
Wed Oct 1 16:36:13 UTC 2014


On 10/1/2014 6:25 PM, Gershom B wrote:
> It seems to me the far easier choice, in ditching the feature “not
> worth the problem” is simply to eliminate orphan instances as in
> “Extension 1” described in Edward Yang’s blog post
> (http://blog.ezyang.com/2014/09/open-type-families-are-not-modular/).
While I definitely agree with you that orphan instances should go,
or at least have some resolution mechanism, I'm proposing local
instances on their own merits.

Gesh


More information about the Haskell-Cafe mailing list