Version 6 (modified by ross@…, 12 years ago) (diff)

Functional Dependencies


See ExtensionDescriptionHowto for information on how to write these extension descriptions. Please add any new extensions to the list of HaskellExtensions.

Brief Explanation



  • In GHC and Hugs for a long time.


  • 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