<br><br><div class="gmail_quote">On Wed, May 9, 2012 at 4:50 AM, Eli Barzilay <span dir="ltr">&lt;<a href="mailto:eli@barzilay.org" target="_blank">eli@barzilay.org</a>&gt;</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 class="im">
[...]<br>
&gt; You know that old saying, &quot;I apologize for the length of this letter<br>
&gt; but I didn&#39;t have time to make it shorter&quot;?  I hope your code is the<br>
&gt; result of multiple revisions. Because if you tell me it comes out<br>
&gt; this way on your first try, I&#39;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 &lt;=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&#39;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 &quot;Never write the same thing twice&quot; 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&#39;t have (for now) a hard limit of 80 chars, mainly because of wide-screens and  indentation, though I don&#39;t like long code lines with many things stuffed in, so I might be closer to &quot;80 chars from the start of the line&quot;.<br>

<br>Laurent<br>