[Haskell-cafe] records proposals list

Keean Schupke k.schupke at imperial.ac.uk
Tue Nov 22 06:15:32 EST 2005


My mistake, what you want is:

    (   mything .=. "something"
    .*. value .=. (27::Int)
    .*. logic .=. True
    .*. HNil )

Admittedly the label creation would benefit from some syntactic sugar to
reduce typing...

Keean.

Bulat Ziganshin wrote:

>Hello Keean,
>
>Monday, November 21, 2005, 6:56:06 PM, you wrote:
>
>KS>     So you can do this now... with reasonable syntax, for example to
>KS> create an extensible record
>
>KS>     ("some thing" .*. (27 :: Int) .*. True .*. HNil)
>
>KS>     is a statically typed anonymous record.
>   
>it is not record, but heterogenous list, in my feel. record must be
>indexed by field name, not by type name or position
>
>
>  
>



More information about the Haskell-Cafe mailing list