Am Donnerstag, den 20.10.2011, 16:37 +0000 schrieb Simon Peyton-Jones:
| Subject: Re: Records in Haskell | | I have added my proposal to the wiki.The only downsides to it that I can see are:
Thanks to Barney for articulating a proposal for records in Haskell. Over various plane rides and ICFP chats I've worked out some more details. It's not as simple as I'd hoped.
I'm underwater with stuff at the moment but I did find the time to capture a summary here http://hackage.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields
Please do correct errors, suggest solutions, or explore variants.
Simon
Hello, would inclusion of such a record system into GHC mean that plans for first-class labels (http://tinyurl.com/7fppj32) are abandoned? That would be a pity, since first-class labels are very useful to implement record systems that go beyond what the abovementioned record system provides. See, for example, my work on records: http://www.informatik.tu-cottbus.de/~jeltsch/research/ppdp-2010-paper.pdf http://hackage.haskell.org/package/records Best wishes, Wolfgang