[Haskell-cafe] records proposals list

[Wolfgang Jeltsch]

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 
them too.

Best wishes,
Wolfgang