Changes between Version 2 and Version 3 of MultiParamTypeClassesDilemma


Ignore:
Timestamp:
Feb 11, 2006 3:44:43 PM (10 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 ==