[Haskell-cafe] records proposals list

David Menendez 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 mailing list