[Haskell-cafe] records proposals list

Keean Schupke 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:

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

More information about the Haskell-Cafe mailing list