Changes between Version 3 and Version 4 of MultiParamTypeClassesDilemma


Ignore:
Timestamp:
Feb 11, 2006 3:45:09 PM (8 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • MultiParamTypeClassesDilemma

    v3 v4  
    77 1. Put AssociatedTypes on the fast-track for sainthood 
    88 1. Punt: declare FunctionalDependencies as an extension and figure out a way to "bless" extensions 
    9  1. Find a subset of FunctionalDependencies that is guarenteed to be a subset of what is expressible with AssosiatedTypes. This would ensure no Haskell' programs become unexpressable if FDs switched to AssosiatedTypes in the future. 
     9 1. Find a subset of FunctionalDependencies that is guarenteed to be a subset of what is expressible with AssociatedTypes. This would ensure no Haskell' programs become unexpressable if FDs switched to AssociatedTypes in the future. 
    1010 
    1111== Options that don't actually solve the dilemma ==