Changes between Version 6 and Version 7 of ClassMethodTypes


Ignore:
Timestamp:
Feb 2, 2006 4:03:20 AM (9 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ClassMethodTypes

    v6 v7  
    2222
    2323
    24 would have to carry around a dictionary for Num as well as Foo in dictionary passing implementation of type classes.
     24would have to carry around a dictionary for Num as well as Foo in dictionary passing implementation of type classes. In general some sort of fixpoint iteration would be needed to determine the set of dictionaries needed on an existential type.
    2525
    2626