5 Feb
2008
5 Feb
'08
10:57 a.m.
On 05/02/2008, Bulat Ziganshin <bulat.ziganshin@gmail.com> wrote:
saveToFile x = writeToFile "data" (show x.getValue)
Heh, I had to read this a couple times to figure out that it wasn't just a blatant type error, and that (.) there doesn't mean function composition. :) On the matter of extensible records, I really like the semantics of Daan Leijen's proposal here: http://research.microsoft.com/users/daan/download/papers/scopedlabels.pdf However, the syntax could use some work. Using (.) as a record selector is out of the question. Personally, I think pt{x} for extracting the x field of pt seems not-so-unreasonable, and meshes well with the existing syntax for record updates. - Cale