Oh, and for reference, the Racket style guide:<br><a href="http://www.ccs.neu.edu/home/matthias/Style/style/">http://www.ccs.neu.edu/home/matthias/Style/style/</a><br><br><div class="gmail_quote">On Wed, May 9, 2012 at 8:11 AM, Laurent <span dir="ltr"><<a href="mailto:laurent.orseau@gmail.com" target="_blank">laurent.orseau@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br><br><div class="gmail_quote">On Wed, May 9, 2012 at 4:50 AM, Eli Barzilay <span dir="ltr"><<a href="mailto:eli@barzilay.org" target="_blank">eli@barzilay.org</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div>An hour ago, Greg Hendershott wrote: <br></div></blockquote><blockquote class="gmail_quote" style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div>
[...]<br>
> You know that old saying, "I apologize for the length of this letter<br>
> but I didn't have time to make it shorter"? I hope your code is the<br>
> result of multiple revisions. Because if you tell me it comes out<br>
> this way on your first try, I'm going to be very scared. :)<br>
<br>
</div>Heh, I pay too much attention to how the code looks like... I have<br>
very strict rules about it, and I almost never let myself go around<br>
them, even when I debug it. (This results in some incompatibilities<br>
with the currently blessed style -- for example, I keep code at a<br>
width of <=79 chars (or in rare cases at 80); but OTOH I stick in most<br>
cases to putting as much on one line as possible within this limit.)<br></blockquote><div><br></div></div>I'd be very interested in what your rules are. Could you expand a little please? <br>Personally, although I do lack rigor, I tend to apply the "Never write the same thing twice" principle (except I have yet no real principle about where the compression must stop, though the length of the identifiers does not count).<br>
I don't have (for now) a hard limit of 80 chars, mainly because of wide-screens and indentation, though I don't like long code lines with many things stuffed in, so I might be closer to "80 chars from the start of the line".<span class="HOEnZb"><font color="#888888"><br>
<br>Laurent<br>
</font></span></blockquote></div><br>