22 Nov
2005
22 Nov
'05
6:15 a.m.
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