<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 12 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
        {font-family:"Cambria Math";
        panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
        {font-family:Calibri;
        panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
        {font-family:Tahoma;
        panose-1:2 11 6 4 3 5 4 4 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
        {margin:0cm;
        margin-bottom:.0001pt;
        font-size:12.0pt;
        font-family:"Times New Roman","serif";}
a:link, span.MsoHyperlink
        {mso-style-priority:99;
        color:blue;
        text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
        {mso-style-priority:99;
        color:purple;
        text-decoration:underline;}
span.EmailStyle17
        {mso-style-type:personal-reply;
        font-family:"Calibri","sans-serif";
        color:#1F497D;}
.MsoChpDefault
        {mso-style-type:export-only;}
@page WordSection1
        {size:612.0pt 792.0pt;
        margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
        {page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-GB" link="blue" vlink="purple">
<div class="WordSection1">
<p class="MsoNormal" style="margin-left:36.0pt"><span style="font-size:14.0pt">Are Records stalled out again? I am perfectly willing to leave the fate of records up to a willing and capable implementer. That seems much better than waiting another 5 years for
 perfection :)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1F497D"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal"><span style="font-size:14.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1F497D">Yes, they are stalled again.&nbsp; The &#8220;simple solution&#8221; turned out to be not simple.&nbsp; I wrote it up at length in
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:14.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1F497D">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
<a href="http://hackage.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields">
http://hackage.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields</a><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:14.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1F497D">There are various unsatisfactory aspects of the proposal, particularly concerning record update.&nbsp; I am not sure how to resolve them.
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:14.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1F497D"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal"><span style="font-size:14.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1F497D">There was essentially no reaction.&nbsp; As it&#8217;s quite a lot of work to implement, and no one seemed to care very much, I put it back on the back burner.&nbsp; &nbsp;So that&#8217;s
 where it stands.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:14.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1F497D"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal"><span style="font-size:14.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1F497D">Meanwhile, AntC has put forth another proposal that I have not had time to look at in detail.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:14.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1F497D">http://www.haskell.org/pipermail/glasgow-haskell-users/2011-December/021298.html<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:14.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1F497D"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal"><b><span style="font-size:14.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1F497D">What this needs is someone (not me) to lead the discussion and try to make sure it makes progress</span></b><span style="font-size:14.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1F497D">.&nbsp;
 For example, does AntC&#8217;s proposal work? Is it better than the one I articulated? &nbsp;Are any other variants worth considering? Is the gain from overloading record fields worth the pain or design and implementation?&nbsp; &nbsp;&nbsp;Volunteers, stand forth!<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:14.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1F497D"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal"><span style="font-size:14.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1F497D">Simon<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1F497D"><o:p>&nbsp;</o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:&quot;Calibri&quot;,&quot;sans-serif&quot;;color:#1F497D"><o:p>&nbsp;</o:p></span></p>
<div style="border:none;border-left:solid blue 1.5pt;padding:0cm 0cm 0cm 4.0pt">
<div>
<div style="border:none;border-top:solid #B5C4DF 1.0pt;padding:3.0pt 0cm 0cm 0cm">
<p class="MsoNormal"><b><span lang="EN-US" style="font-size:10.0pt;font-family:&quot;Tahoma&quot;,&quot;sans-serif&quot;">From:</span></b><span lang="EN-US" style="font-size:10.0pt;font-family:&quot;Tahoma&quot;,&quot;sans-serif&quot;"> Greg Weber [mailto:greg@gregweber.info]
<br>
<b>Sent:</b> 09 December 2011 19:38<br>
<b>To:</b> Simon Peyton-Jones<br>
<b>Cc:</b> Wolfgang Jeltsch; glasgow-haskell-users@haskell.org<br>
<b>Subject:</b> Re: Records in Haskell<o:p></o:p></span></p>
</div>
</div>
<p class="MsoNormal"><o:p>&nbsp;</o:p></p>
<p class="MsoNormal">Are Records stalled out again? I am perfectly willing to leave the fate of records up to a willing and capable implementer. That seems much better than waiting another 5 years for perfection :)<o:p></o:p></p>
<div>
<p class="MsoNormal"><o:p>&nbsp;</o:p></p>
<div>
<p class="MsoNormal">As an intermediate step, is it possible to put a warning in 7.4 when the dot operator is used without a space so that it can be reserved for usage with a records solution? Or will the new records solution be turned on by an extension anyways?<o:p></o:p></p>
<div>
<p class="MsoNormal"><o:p>&nbsp;</o:p></p>
<div>
<p class="MsoNormal">On Mon, Nov 7, 2011 at 10:21 AM, Simon Peyton-Jones &lt;<a href="mailto:simonpj@microsoft.com">simonpj@microsoft.com</a>&gt; wrote:<o:p></o:p></p>
<div>
<p class="MsoNormal" style="margin-bottom:12.0pt">| would inclusion of such a record system into GHC mean that plans for<br>
| first-class labels (&lt;<a href="http://tinyurl.com/7fppj32" target="_blank">http://tinyurl.com/7fppj32</a>&gt;) are abandoned? That<br>
| would be a pity, since first-class labels are very useful to implement<br>
| record systems that go beyond what the abovementioned record system<br>
| provides. See, for example, my work on records:<br>
| &nbsp; &nbsp; &nbsp;&lt;<a href="http://www.informatik.tu-cottbus.de/~jeltsch/research/ppdp-2010-paper.pdf" target="_blank">http://www.informatik.tu-cottbus.de/~jeltsch/research/ppdp-2010-paper.pdf</a>&gt;<br>
| &nbsp; &nbsp; &nbsp;&lt;<a href="http://hackage.haskell.org/package/records" target="_blank">http://hackage.haskell.org/package/records</a>&gt;<o:p></o:p></p>
</div>
<p class="MsoNormal">The story is summarised at<br>
&nbsp; &nbsp; &nbsp; &nbsp;<a href="http://hackage.haskell.org/trac/ghc/wiki/Records" target="_blank">http://hackage.haskell.org/trac/ghc/wiki/Records</a><br>
<br>
First-class labels are one point in the vast swamp of competing and overlapping proposals for records. &nbsp;I think they are summarise here:<br>
&nbsp; &nbsp; &nbsp; &nbsp;<a href="http://hackage.haskell.org/trac/ghc/wiki/ExtensibleRecords" target="_blank">http://hackage.haskell.org/trac/ghc/wiki/ExtensibleRecords</a><br>
I am unsure which of this list of proposals you are referring to. The URL you quote is this<br>
&nbsp; &nbsp; &nbsp; &nbsp;<a href="http://hackage.haskell.org/trac/haskell-prime/wiki/FirstClassLabels" target="_blank">http://hackage.haskell.org/trac/haskell-prime/wiki/FirstClassLabels</a><br>
but it doesn't seem to actually contain a design, merely some options for a design that is implicit. &nbsp;If you do have a design you advocate, it would be good to add it to the list at<br>
&nbsp; &nbsp; &nbsp; &nbsp;<a href="http://hackage.haskell.org/trac/ghc/wiki/ExtensibleRecords" target="_blank">http://hackage.haskell.org/trac/ghc/wiki/ExtensibleRecords</a><br>
perhaps explaining which of the other members of the list it subsumes.<br>
<br>
Because there are so many proposals I have not gone ahead with any of them. &nbsp;The most recent thread, articulated at<br>
&nbsp; &nbsp; &nbsp; &nbsp;<a href="http://hackage.haskell.org/trac/ghc/wiki/Records" target="_blank">http://hackage.haskell.org/trac/ghc/wiki/Records</a><br>
is to ask what is the *smallest change* that would solve the *most pressing problem*, namely the inability to use the same field name in different records. &nbsp;First class labels is (I assume) much more ambitious. &nbsp;But maybe not.<br>
<br>
Anything you can do to bring clarity to the swamp, by editing the above two pages, would be a great service to the community. &nbsp;At the moment, we are stuck in an infinite loop.<br>
<span style="color:#888888"><br>
Simon</span><o:p></o:p></p>
<div>
<div>
<p class="MsoNormal"><br>
_______________________________________________<br>
Glasgow-haskell-users mailing list<br>
<a href="mailto:Glasgow-haskell-users@haskell.org">Glasgow-haskell-users@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/glasgow-haskell-users" target="_blank">http://www.haskell.org/mailman/listinfo/glasgow-haskell-users</a><o:p></o:p></p>
</div>
</div>
</div>
<p class="MsoNormal"><o:p>&nbsp;</o:p></p>
</div>
</div>
</div>
</div>
</div>
</body>
</html>