22 Nov
2005
22 Nov
'05
9:15 a.m.
2005/11/20, Georg Martius <mai99dgf@studserv.uni-leipzig.de>:
7. Unordered records. I don' t understand it.
Consider this example: data DataT = DataT (Int,String) (String,String) if we treat records as tuples with labels, then we could write: data DataR = DataR {tel::Int,addr::String} {zip::String,state::String} so we could have more records per sum-type case. It is also good because constructor arity stays the same, in this case both DataT and DataR have arity 2. What do you think? -- Gracjan