Re: [Haskell-cafe] Records (was Re: [Haskell] Improvements to GHC)

On Fri, Nov 18, 2005 at 07:32:53AM +0100, Sebastian Sylvan wrote:

On 11/18/05, John Meacham wrote:

...

map (.foo) xs to pull all the 'foo' fields out of xs. (using made up syntax)

Well I suppose this is just a section on the selection operator?

So field labels are first-class citizens? Great!

...

map (foo_s 3) xs

This is trickier I think. I think I can live with "map (\r -> {r | s = 3})", though.

I think this special case could be treated specially, for example (\r -> {r | s = 3}) could be equivalent to {|s = 3} Best regards Tomasz