Changes between Version 24 and Version 25 of FunctionalDependencies


Ignore:
Timestamp:
Jun 14, 2011 4:55:36 PM (3 years ago)
Author:
simonpj@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • FunctionalDependencies

    v24 v25  
    3535   3. Chameleon's implementation.  Problem: Needs type inference based on constraint handling rules (not just HM).  Doesn't support separate compilation atm. 
    3636 * Including the dependent type parameters makes types more cluttered, and prevents hiding of these types (see AssociatedTypes). 
    37  * AssociatedTypes seem to be more promising. 
     37 * AssociatedTypes seem to be more promising, but in their current form are not quite as general as functional dependencies ([http://www.haskell.org/pipermail/haskell-prime/2011-June/003423.html]). 
    3838 
    3939== Original Proposal ==