Changes between Version 4 and Version 5 of FunctionalDependencies


Ignore:
Timestamp:
Dec 3, 2005 1:46:51 PM (8 years ago)
Author:
chak@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • FunctionalDependencies

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