-----Original Message----- From: haskell-cafe-bounces@haskell.org [mailto:haskell-cafe- bounces@haskell.org] On Behalf Of Keean Schupke Sent: Monday, November 21, 2005 7:56 AM To: Bulat Ziganshin Cc: Haskell Cafe Subject: Re: [Haskell-cafe] records proposals list

Hi,

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).

So you can do this now... with reasonable syntax, for example to create an extensible record

("some thing" .*. (27 :: Int) .*. True .*. HNil)

is a statically typed anonymous record.

In other words there is no need for any more extensions to GHC or Hugs to implement Records (although having a type-level type-equality constaint would simplify the internal implementation of the

I certainly agree with Keean. It's just that the given example is a bit misleading. As Bulat observed, the example is about a heterogeneous list, as opposed to a record. But there are of course tons of record examples to be found, if you follow the HList link. Ralf P.S.: The HList paper also has a reasonable related work section, which might hold more information of the kind that Bulat asked for. library)...

For details see the HList paper:

http://homepages.cwi.nl/~ralf/HList/

Regards, Keean.

Bulat Ziganshin wrote:

...

Hello Haskell,

can anyone write at least the list of record proposals for Haskell? or, even better, comment about pros and contras for each proposal?

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe