<div dir="ltr"><div>(post back to the mailing list...)<br><br>On Thu, Jun 6, 2013 at 9:02 PM, Jay McCarthy <span dir="ltr"><<a href="mailto:jay.mccarthy@gmail.com" target="_blank">jay.mccarthy@gmail.com</a>></span> wrote: <br>
<blockquote style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex" class="gmail_quote">My goal is to have a large xrefed documentation site of all ring-0<br>
packages (we are close to this) so you can look up awesome or<br>
slideshow-latex and then require it and have racket/DrRacket give you<br>
a pop up that says, "Do you want to install package <blah> to get<br>
this?" (I believe DrRacket does this now and we have xrepl that does<br>
it too). Since ring-0 guarantees no conflicts, there is always a<br>
unique answer to the require->package question.<br></blockquote><br></div><div>(Btw, that sounds like a nice feature!<br></div><div>I'd just worry a little about the size of the docs though, <br></div><div>but then maybe you plan to have the docs can stay online?)</div>
<div><div><div class="gmail_quote"><div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote"><div class="im">In other words, my goal is to have only package authors ever concerned<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
with (a) their package names and (b) which package they are even<br>
getting their modules from. UNLESS, you want to use ring-1 (untested)<br>
or ring-2 (conflicting) packages---since using those rings is<br>
inconvenient, it is incentivizes authors to remove conflicts and test<br>
their code to get to ring-0. (In other words, I don't want any ring-1<br>
or 2 packages.)<br></blockquote><div><br></div></div><div>I'm not sure how that poses problems with the use case above, but<br>then in ring-0, you could easily ask for packages to be correctly named?<br></div></div></div>
<div class="gmail_extra">
I believe if you want to write a package of this quality, you should take time<br>to name it correctly, and adding one line in the info.rkt file is no big deal (if <br>ever really needed, which I expect to be rare).<br></div>
<div class="gmail_extra"> I don't really expect programmers of ring-0 to have bad habits, my main<br>concern is with all the others, who certainly don't want to spend a lot of<br>time understanding what to do to make a package.<span class=""><font color="#888888"><br>
</font></span></div><span class=""><font color="#888888"><div class="gmail_extra"><br></div><div class="gmail_extra">Laurent<br></div></font></span></div>
</div><br></div></div></div>