Changes between Version 6 and Version 7 of ClassMethodTypes

Show
Ignore:
Timestamp:
02/01/06 20:03:20 (7 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