13 Apr
2006
13 Apr
'06
5:12 a.m.
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. -- Tom Schrijvers Department of Computer Science K.U. Leuven Celestijnenlaan 200A B-3001 Heverlee Belgium tel: +32 16 327544 e-mail: tom.schrijvers@cs.kuleuven.be