[Haskell-cafe] records proposals list
wolfgang at jeltsch.net
Tue Nov 22 04:53:18 EST 2005
Am Dienstag, 22. November 2005 07:33 schrieb David Menendez:
> 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.
The paper about HList I have seen does explicitely say that the authors were
finally able to avoid using overlapping instances. I don't know about
undecidable instances but I thought (and hope very much) that they don't need
More information about the Haskell-Cafe