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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
