<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">+1<div class=""><br class=""></div><div class="">I am working on a project looking at formal verfication for an open-source</div><div class="">real-time operating system called RTEMS - <a href="http://rtems.org" class="">rtems.org</a>. I use Haskell to do</div><div class="">rapid prototyping of various tools we are building, ultimately to be delivered in</div><div class="">python.</div><div class=""><br class=""></div><div class="">RTEMS coding standards for both C/C++ and Python mandate a maximum line length of 80,</div><div class="">for pretty much the reasons stated by Ben below</div><div class=""><br class=""></div><div class="">Regards, Andrew</div><div><br class=""><blockquote type="cite" class=""><div class="">On 21 Sep 2020, at 20:36, Ben Franksen <<a href="mailto:ben.franksen@online.de" class="">ben.franksen@online.de</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="">Am 21.09.20 um 12:05 schrieb Ignat Insarov:<br class=""><blockquote type="cite" class="">I did not mean to imply that every Haskell programmer has or should<br class="">have a retina screen and a high performance GPU — only that, as a<br class="">profession, we have way better tools now than back then.<br class=""><br class="">In humanities, it is usual for there to be either a normal<br class="">distribution or a Pareto distribution in any large enough sample of<br class="">data. So, unlike in precise sciences, a counter-example does not<br class="">refute a proposition. What matters is that there is a trend. And there<br class="">is a trend associated with larger and finer displays. It dawns on even<br class="">the most _«old school»_ people by now. See for example a letter on<br class="">Linux Kernel Mailing List.[1]<br class=""></blockquote><br class="">What you and Mr. Torvalds forget is that there is a reason why<br class="">newspapers are written in relatively small columns. Even scientific<br class="">papers are often printed in two column mode. Typesetting has been done<br class="">since a few 100 years and has for the most time been an analog<br class="">technique, so it mostly wasn't limited by available resolution. The<br class="">point is that humans aren't good at reading text when the line length<br class="">exceeds roughly 80 characters because when you jump from the far right<br class="">to the far left of the text, it gets hard to correctly identify where<br class="">the next line starts. A value of 60 is ideal for non-indented text. Thus<br class="">considering indentation that is not too deep, say (usually) not<br class="">exceeding 5 levels a 4 spaces makes 20 chars, which means max. line<br class="">length is ideal at 80 and should not exceed 100 (or 90 with 2 spaces for<br class="">indentation).<br class=""><br class="">I can view files in fullscreen mode if forced to do so by the author of<br class="">the code but I hate it. This has nothing to do with being old-school.<br class=""><br class=""><blockquote type="cite" class=""><blockquote type="cite" class="">When I tile my terminal windows on my display, I can have 6 terminals<br class="">visible at one time, and that's because I have them three wide. And I<br class="">could still fit 80% of a fourth one side-by-side.<br class=""></blockquote></blockquote><br class="">Using a laptop with max. 15 inch display? How old are you? People over<br class="">50 years or so usually have trouble reading such small print, no matter<br class="">how great the resolution. So (apart from the arguments above) screen<br class="">size often limits how much text can be displayed in a readable fashion.<br class=""><br class="">Cheers<br class="">Ben<br class=""><br class="">_______________________________________________<br class="">Haskell-Cafe mailing list<br class="">To (un)subscribe, modify options or view archives go to:<br class=""><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" class="">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br class="">Only members subscribed via the mailman list are allowed to post.</div></div></blockquote></div><br class=""><div class="">
<div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">--------------------------------------------------------------------<br class="">Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204<br class="">Lero@TCD, Head of Software Foundations & Verification Research Group<br class="">School of Computer Science and Statistics,<br class="">Room G.39, O'Reilly Institute, Trinity College, University of Dublin<br class=""> <a href="http://www.scss.tcd.ie/Andrew.Butterfield/" class="">http://www.scss.tcd.ie/Andrew.Butterfield/</a><br class="">--------------------------------------------------------------------</div>
</div>
<br class=""></body></html>