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