wiki:FunctionalDependencies

Version 8 (modified by ross@…, 9 years ago) (diff)

--

Functional Dependencies

Brief Explanation

References

Tickets

#36
add FunctionalDependencies
#90
solve the MultiParamTypeClassDilemma

Pros

  • In GHC and Hugs for a long time.

Cons

  • Recently, some problems with FDs have been identified, see also the material on AssociatedTypes.
  • There are (at least) three different versions of FDs:
    1. Mark Jones' original proposal. Problem: It excludes some uses of FDs.
    2. GHC's implementation. Problem: It makes type checking undecidable. (See Duck et al. for an example.)
    3. Chameleon's implementation. Problem: Needs type inference based on constraint handling rules (not just HM). Doesn't support separate compilation atm.

Attachments (1)

Download all attachments as: .zip