[Haskell-cafe] records proposals list
k.schupke at imperial.ac.uk
Mon Nov 21 10:56:06 EST 2005
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 library)...
For details see the HList paper: http://homepages.cwi.nl/~ralf/HList/
Bulat Ziganshin wrote:
> can anyone write at least the list of record proposals for Haskell?
>or, even better, comment about pros and contras for each proposal?
More information about the Haskell-Cafe