Changes between Version 2 and Version 3 of MultiParamTypeClassesDilemma


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

--

Legend:

Unmodified
Added
Removed
Modified
  • MultiParamTypeClassesDilemma

    v2 v3  
    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. Others?? 
     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. 
    1010 
    1111== Options that don't actually solve the dilemma ==