Changes between Version 5 and Version 6 of MultiParamTypeClassesDilemma

Show
Ignore:
Timestamp:
03/04/06 17:48:39 (7 years ago)
Author:
ijones
Comment:

added references

Legend:

Unmodified
Added
Removed
Modified

  • MultiParamTypeClassesDilemma

    v5 v6  
    22 
    33MultiParamTypeClasses are very useful, but mostly in the context of FunctionalDependencies.  They are particularly used in the [http://www.haskell.org/ghc/docs/latest/html/libraries/index.html monad transformer library] found in fptools.  The dilemma is that [http://www.haskell.org//pipermail/haskell-prime/2006-February/000289.html functional dependencies are "very, very tricky"] (spj).  AssociatedTypes are promising but unproven.  Without a solution, Haskell' will be somewhat obsolete before it gets off the ground. 
     4 
     5== References == 
     6 * [http://research.microsoft.com/%7Esimonpj/papers/fd%2Dchr/ Understanding functional dependencies via Constraint Handling Rules], Martin Sulzmann, Gregory J. Duck, Simon Peyton Jones, and Peter J. Stuckey. Revised Feb 2006 
     7 * P. J. Stuckey and M. Sulzmann. [http://www.comp.nus.edu.sg/~sulzmann/chr/download/theory-journal.ps.gz A theory of overloading]. ACM Transactions on Programming Languages and Systems (TOPLAS), 27(6):1-54, 2005. 
    48 
    59== Options for solving the dilemma ==