<div dir="ltr">What were the objections? Especially the principle ones?</div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Feb 10, 2015 at 4:50 PM, Simon Peyton Jones <span dir="ltr"><<a href="mailto:simonpj@microsoft.com" target="_blank">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 link="#0563C1" vlink="#954F72" lang="EN-GB">
<div>
<p class="MsoNormal"><span style="font-size:12.0pt">Haskell Friends<u></u><u></u></span></p>
<p class="MsoNormal"><b><span style="font-size:12.0pt">This email asks for your help in deciding how to proceed with some Prelude changes in GHC 7.10. Please read on, but all the info is also at the survey link, here:
<a href="http://goo.gl/forms/XP1W2JdfpX" target="_blank">http://goo.gl/forms/XP1W2JdfpX</a>. Deadline is 21 Feb.<u></u><u></u></span></b></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">The Core Libraries Committee (CLC) is responsible for developing the core libraries that ship with GHC. This is an important but painstaking task, and we owe the CLC a big vote of thanks for taking it on.<u></u><u></u></p>
<p><span style="font-family:"Calibri",sans-serif">For over a year the CLC has been working on integrating the
<b>Foldable and Traversable classes</b> (shipped in base in GHC 7.8) into the core libraries, and into the Prelude in particular. Detailed planning for GHC 7.10 started in the autumn of 2014, and the CLC went ahead with this integration.
<u></u><u></u></span></p>
<p><span style="font-family:"Calibri",sans-serif">Then we had a failure of communication. As these changes affect the Prelude, which is in scope for all users of Haskell, these changes should be held to a higher bar than the regular libraries@ review process.
However, the Foldable/Traversable changes were not particularly well signposted. Many people have only recently woken up to them, and some have objected (both in principle and detail).<u></u><u></u></span></p>
<p><span style="font-family:"Calibri",sans-serif">This is an extremely unfortunate situation. On the one hand we are at RC2 for GHC 7.10, so library authors have invested effort in updating their libraries to the new Prelude. On the other, altering the Prelude
is in effect altering the language, something we take pretty seriously. We should have had this debate back in 2014, but here we are, and it is unproductive to argue about whose fault it is. We all share responsibility.<u></u><u></u></span></p>
<p><span style="font-family:"Calibri",sans-serif">We need to decide what to do now. A small group of us met by Skype and we've decided to do this:<u></u><u></u></span></p>
<p style="margin-left:36.0pt"><u></u><span style="font-family:Symbol"><span>·<span style="font:7.0pt "Times New Roman"">
</span></span></span><u></u><span style="font-family:"Calibri",sans-serif">Push back GHC 7.10's release by at least a month, to late March. This delay also gives us breathing space to address an unrelated show-stopping bug, Trac #9858.<u></u><u></u></span></p>
<p style="margin-left:36.0pt"><u></u><span style="font-family:Symbol"><span>·<span style="font:7.0pt "Times New Roman"">
</span></span></span><u></u><span style="font-family:"Calibri",sans-serif">Invite input from the Haskell community on which of two approaches to adopt (<a href="http://goo.gl/forms/XP1W2JdfpX" target="_blank">this survey</a>). The main questions revolve around impact on
the Haskell ecosystem (commercial applications, teaching, libraries, etc etc), so we want to ask your opinion rather than guess it.<u></u><u></u></span></p>
<p style="margin-left:36.0pt"><u></u><span style="font-family:Symbol"><span>·<span style="font:7.0pt "Times New Roman"">
</span></span></span><u></u><span style="font-family:"Calibri",sans-serif">Ask Simon Marlow and Simon Peyton Jones to decide which approach to follow for GHC 7.10.
<u></u><u></u></span></p>
<p style="margin:0cm;margin-bottom:.0001pt"><span style="font-family:"Calibri",sans-serif">Wiki pages have been created summarizing these two primary alternatives, including many more points and counter-points and technical details:
<u></u><u></u></span></p>
<p style="margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;margin-bottom:.0001pt">
<u></u><span style="font-family:Symbol"><span>·<span style="font:7.0pt "Times New Roman"">
</span></span></span><u></u><span style="font-family:"Calibri",sans-serif">Overall summary:
<a href="https://www.google.com/url?q=https%3A%2F%2Fghc.haskell.org%2Ftrac%2Fghc%2Fwiki%2FPrelude710&sa=D&sntz=1&usg=AFQjCNE1p5w-YCXC7ixebvwObayuV7Ut4w" target="_blank">
https://ghc.haskell.org/trac/ghc/wiki/Prelude710</a><u></u><u></u></span></p>
<p style="margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;margin-bottom:.0001pt">
<u></u><span style="font-family:Symbol"><span>·<span style="font:7.0pt "Times New Roman"">
</span></span></span><u></u><span style="font-family:"Calibri",sans-serif">Details of Plan List:
<a href="https://www.google.com/url?q=https%3A%2F%2Fghc.haskell.org%2Ftrac%2Fghc%2Fwiki%2FPrelude710%2FList&sa=D&sntz=1&usg=AFQjCNHaufeSwtIsvZwdVXwP9F9G45zLSA" target="_blank">
https://ghc.haskell.org/trac/ghc/wiki/Prelude710/List</a><u></u><u></u></span></p>
<p style="margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt;margin-bottom:.0001pt">
<u></u><span style="font-family:Symbol"><span>·<span style="font:7.0pt "Times New Roman"">
</span></span></span><u></u><span style="font-family:"Calibri",sans-serif">Details of Plan FTP:
<a href="https://www.google.com/url?q=https%3A%2F%2Fghc.haskell.org%2Ftrac%2Fghc%2Fwiki%2FPrelude710%2FFTP&sa=D&sntz=1&usg=AFQjCNHbhNyIwAbcOd3JfikIhD6S7rc-vw" target="_blank">
https://ghc.haskell.org/trac/ghc/wiki/Prelude710/FTP</a><u></u><u></u></span></p>
<p style="margin-bottom:0cm;margin-bottom:.0001pt"><span style="font-family:"Calibri",sans-serif">This survey invites your input on which plan we should follow. Would you please<u></u><u></u></span></p>
<p style="margin-right:0cm;margin-bottom:5.0pt;margin-left:35.7pt">
<u></u><span style="font-family:Symbol"><span>·<span style="font:7.0pt "Times New Roman"">
</span></span></span><u></u><span style="font-family:"Calibri",sans-serif">Read the details of the alternative plans on the three wiki pages above<u></u><u></u></span></p>
<p style="margin-left:36.0pt"><u></u><span style="font-family:Symbol"><span>·<span style="font:7.0pt "Times New Roman"">
</span></span></span><u></u><span style="font-family:"Calibri",sans-serif">Add your response to
<a href="http://goo.gl/forms/XP1W2JdfpX" target="_blank">the survey</a><u></u><u></u></span></p>
<p><span style="font-family:"Calibri",sans-serif">Please do read the background. Well-informed responses will help. Thank you!<u></u><u></u></span></p>
<p><b><span style="font-family:"Calibri",sans-serif">DEADLINE: 21 February 2015<u></u><u></u></span></b></p>
<p class="MsoNormal"><span style="font-size:12.0pt">Simon PJ<u></u><u></u></span></p>
</div>
</div>
<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><br>
<br></blockquote></div><br></div>