haskell  

Re: [Haskell] Extensible records: Static duck typing

Cale Gibbard
Tue, 05 Feb 2008 02:57:29 -0800

On 05/02/2008, Bulat Ziganshin <[EMAIL PROTECTED]> 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
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell