[Haskell-cafe] records proposals list

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

Best wishes,
Wolfgang


More information about the Haskell-Cafe mailing list