[Haskell-cafe] records proposals list

[Keean Schupke]

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