Simon, I think you are continuing to move forward admirably on this. Thank you for contributing my suggestion to the wiki. I just edited the wiki with some more commentary. In particular I added:<div><br></div><div><span style="font-family:Verdana,Arial,'Bitstream Vera Sans',Helvetica,sans-serif;text-align:left;background-color:rgb(255,255,255)">Frege has a detailed explanation of the semantics of its record implementation, and the language is *very* similar to Haskell. Lets just start by using Frege's document as the proposal. We can start a new wiki page as discussions are needed.</span></div>
<div><div style="text-align:left"><font face="Verdana, Arial, 'Bitstream Vera Sans', Helvetica, sans-serif"><br></font></div><div style="text-align:left"><font face="Verdana, Arial, 'Bitstream Vera Sans', Helvetica, sans-serif">As previously stated on this thread, the Frege user manual is available here:</font></div>
<div style="text-align:left"><div><span style="background-color:rgb(255,255,255)"><font face="Verdana, Arial, 'Bitstream Vera Sans', Helvetica, sans-serif"><a href="http://code.google.com/p/frege/downloads/detail?name=Language-202.pdf">http://code.google.com/p/frege/downloads/detail?name=Language-202.pdf</a></font></span></div>
<div><span style="background-color:rgb(255,255,255);font-family:Verdana,Arial,'Bitstream Vera Sans',Helvetica,sans-serif">see Sections 3.2 (primary expressions) and 4.2.1 (Algebraic Data type Declaration - Constructors with labeled fields)</span></div>
<div><span style="background-color:rgb(255,255,255);font-family:Verdana,Arial,'Bitstream Vera Sans',Helvetica,sans-serif"><br></span></div><div><span style="background-color:rgb(255,255,255)"><font face="Verdana, Arial, 'Bitstream Vera Sans', Helvetica, sans-serif">To all those concerned about Records: look at the Frege implementation and poke holes in it. We only want critiques about</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font face="Verdana, Arial, 'Bitstream Vera Sans', Helvetica, sans-serif">* achieving name-spacing right now</font></span></div><div><span style="background-color:rgb(255,255,255)"><font face="Verdana, Arial, 'Bitstream Vera Sans', Helvetica, sans-serif">* implementing it in such a way that extensible records could be implemented in its place in the future, although we will not allow that discussion to hold up a records implementation now, just possibly modify things slightly.</font></span></div>
<div><span style="background-color:rgb(255,255,255)"><font face="Verdana, Arial, 'Bitstream Vera Sans', Helvetica, sans-serif"><br></font></span></div><div><span style="background-color:rgb(255,255,255)"><font face="Verdana, Arial, 'Bitstream Vera Sans', Helvetica, sans-serif">Greg Weber</font></span></div>
</div><div style="text-align:left"><font face="Verdana, Arial, 'Bitstream Vera Sans', Helvetica, sans-serif"><span style="font-size:15px"><br></span></font></div><div><div class="gmail_quote">On Thu, Dec 29, 2011 at 2:00 PM, Simon Peyton-Jones <span dir="ltr"><<a href="mailto:simonpj@microsoft.com">simonpj@microsoft.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">| The lack of response, I believe, is just a lack of anyone who<br>
| can cut through all the noise and come up with some<br>
| practical way to move forward in one of the many possible<br>
| directions.<br>
<br>
</div>You're right. But it is very telling that the vast majority of responses on<br>
<a href="http://www.reddit.com/r/haskell/comments/nph9l/records_stalled_again_leadership_needed/" target="_blank">http://www.reddit.com/r/haskell/comments/nph9l/records_stalled_again_leadership_needed/</a><br>
were not about the subject (leadership) but rather on suggesting yet more, incompletely-specified solutions to the original problem. My modest attempt to build a consensus by articulating the simplest solution I could think of, manifestly failed.<br>
<br>
The trouble is that I just don't have the bandwidth (or, if I'm honest, the motivation) to drive this through to a conclusion. And if no one else does either, perhaps it isn't *that* important to anyone. That said, it clearly is *somewhat* important to a lot of people, so doing nothing isn't very satisfactory either.<br>
<br>
Usually I feel I know how to move forward, but here I don't.<br>
<font color="#888888"><br>
Simon<br>
<br>
<br>
</font></blockquote></div><br></div></div>