TypeFamilies vs. FunctionalDependencies & type-level recursion
simonpj at microsoft.com
Tue Jun 14 23:52:04 CEST 2011
| Currently under cons for FunctionalDependencies, it says:
| AssociatedTypes seem to be more promising.
| I proposed the following fix:
| AssociatedTypes seem to be more promising, but in their
| current form are not as general as FunctionalDependencies
OK, that one. I've made that change.
| Is there a policy that only a proposal's "owner" can modify the wiki
| page? Or that you have to be a member of the Haskell' committee?
I'm not sure. Malcolm Wallace is chair at the moment; I'm ccing him.
More information about the Haskell-prime