<div dir="ltr">yeah, agreed<div><br></div><div>currently on the wiki its sometimes hard to determine which pages are "this is how we implemented it" vs</div><div>"this is a bunch of different ideas and approaches we're trying to layout"</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Oct 15, 2014 at 12:58 PM, Joachim Breitner <span dir="ltr"><<a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
<br>
Am Mittwoch, den 15.10.2014, 18:48 +0200 schrieb Jan Stolarek:<br>
<span class="">> Joachim >> yes, you are right that proposals and designs are different things.<br>
><br>
> > And we already have a namespace for that: Commentary!<br>
> Good point.<br>
><br>
> > So when a Proposal gets implemented, this should be clearly noted at the<br>
> > top of the Proposal page, linking to the relevant Comentary page<br>
> > (...)<br>
> > The discussion about the Proposal would still be there for those who need to do some historical<br>
> > digging<br>
> I disagree about these statements. Wiki pages typically don't contain discussions between people -<br>
> trac tickets do. Unless you meant theoretical discussion of possible approaches to implementing a<br>
> proposal.<br>
<br>
</span>That’s what I meant. The kind of „discussion“ found in papers, not the<br>
one found on this list :-)<br>
<span class=""><br>
>  In that case, from my experience, once a proposal is implemented most of the discussion<br>
> about alternatives becomes irrelevant.<br>
<br>
</span>I wouldn’t be too sure about this (but I also don’t have examples to<br>
back that up right now).<br>
<br>
<br>
Another difference: A proposal needs to convince that something is<br>
useful and worth doing. Once we have a design page that’s no longer<br>
needed, as we have to live with it (or replace it) :-)<br>
<div class="HOEnZb"><div class="h5"><br>
Greetings,<br>
Joachim<br>
<br>
<br>
--<br>
Joachim “nomeata” Breitner<br>
  <a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a> • <a href="http://www.joachim-breitner.de/" target="_blank">http://www.joachim-breitner.de/</a><br>
  Jabber: <a href="mailto:nomeata@joachim-breitner.de">nomeata@joachim-breitner.de</a>  • GPG-Key: 0xF0FBF51F<br>
  Debian Developer: <a href="mailto:nomeata@debian.org">nomeata@debian.org</a><br>
<br>
</div></div><br>_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/ghc-devs" target="_blank">http://www.haskell.org/mailman/listinfo/ghc-devs</a><br>
<br></blockquote></div><br></div>