[Haskell-cafe] records proposals list
zednenem at psualum.com
Tue Nov 22 01:33:31 EST 2005
Keean Schupke writes:
> Haskell already has static records (in H98)
> Dynamic records are addressed by the HList library, which uses
> extensions already present in GHC and Hugs (namely Multi-parameter
> type-classes and function-dependancies).
Is this the case? Every implementation of HList that I've seen also uses
overlapping and undecidable instances.
David Menendez <zednenem at psualum.com> | "In this house, we obey the laws
<http://www.eyrie.org/~zednenem> | of thermodynamics!"
More information about the Haskell-Cafe