[Haskell-cafe] Re: coherence when overlapping?
Tom.Schrijvers at cs.kuleuven.be
Thu Apr 13 05:12:31 EDT 2006
On Thu, 13 Apr 2006, Martin Sulzmann wrote:
> I believe that GHC's overlapping instance extensions
> effectively uses inequalities.
> Why do you think that 'inequalities' model 'best-fit'?
> instance C Int -- (1)
> instance C a -- (2)
> under a 'best-fit' instance reduction strategy
> we would resolve C a by using (2).
Claus used the term best-fit, and what was meant is exactly the same as
what you mean, i.e. a delayed until sufficiently instantiated best-fit
rather than an immediate best fit.
Department of Computer Science
tel: +32 16 327544
e-mail: tom.schrijvers at cs.kuleuven.be
More information about the Haskell-Cafe