Cost of Overloading vs. HOFs

John Meacham john at
Fri May 4 18:51:08 EDT 2007

On Fri, May 04, 2007 at 03:07:41PM -0700, Conal Elliott wrote:
> Does anyone know what became of Dictionary-free Overloading by Partial
> Evaluation <>?  Is it
> impractical for some reason?

jhc also uses a dictionary free approach, doing a case directly on the
type parameter.

The nice thing about this is that _all_ methods can be determined by a
single case evaluation, because finding out the right instance for any
method will determine the right instance for all other methods too for a
given type. The standard case-of-known-value optimization takes care of
later scrutinizations (method lookups) on the same type. 


John Meacham - ⑆⑆john⑈

More information about the Glasgow-haskell-users mailing list