22 Nov
2005
22 Nov
'05
2:33 p.m.
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@psualum.com> | "In this house, we obey the laws <http://www.eyrie.org/~zednenem> | of thermodynamics!"