Re: Proposal: FirstClassFieldUpdates

2009-07-28 Thread Jon Fairbairn
Isaac Dupree m...@isaac.cedarswampstudios.org writes: Jon Fairbairn wrote: Parenthesis around updates would make them into functions, ie ({a=1,b=2,...}) would mean the same as (\d - d{a=1,b=2,...}), but be more concise. yes it is, however field updates are occasionally slightly annoying,

Re: Proposal: FirstClassFieldUpdates

2009-07-28 Thread Henrik Nilsson
Hi all, Jon Fairbairn jon.fairba...@cl.cam.ac.uk wrote: Isaac Dupree m...@isaac.cedarswampstudios.org wrote: yes it is, however field updates are occasionally slightly annoying, since they can't change something's type at all, IIRC. Say, data C nx ny = C { x :: nx, y :: ny } x_set

Re: Proposal: FirstClassFieldUpdates

2009-07-28 Thread Isaac Dupree
Jon Fairbairn wrote: Isaac Dupree m...@isaac.cedarswampstudios.org writes: Jon Fairbairn wrote: Parenthesis around updates would make them into functions, ie ({a=1,b=2,...}) would mean the same as (\d - d{a=1,b=2,...}), but be more concise. yes it is, however field updates are occasionally