Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.javascript > #31199

Re: JSlint finds for loops intolerable

Path csiph.com!feeder.erje.net!2.us.feeder.erje.net!nntp.club.cc.cmu.edu!micro-heart-of-gold.mit.edu!newsswitch.lcs.mit.edu!nntp.TheWorld.com!newsfeed-00-ls.mathworks.com!panix!not-for-mail
From Lewis Perin <perin@panix.com>
Newsgroups comp.lang.javascript
Subject Re: JSlint finds for loops intolerable
Date Sun, 28 Aug 2016 18:49:26 -0400
Organization PANIX Public Access Internet and UNIX, NYC
Lines 29
Message-ID <pc7k2f0se4p.fsf@panix1.panix.com> (permalink)
References <npug18$166s$1@gioia.aioe.org> <for-20160828204739@ram.dialup.fu-berlin.de> <pc74m64lis5.fsf@panix1.panix.com> <reason-20160828222303@ram.dialup.fu-berlin.de>
NNTP-Posting-Host panix1.panix.com
Mime-Version 1.0
Content-Type text/plain; charset=utf-8
Content-Transfer-Encoding 8bit
X-Trace reader2.panix.com 1472424567 20748 166.84.1.1 (28 Aug 2016 22:49:27 GMT)
X-Complaints-To abuse@panix.com
NNTP-Posting-Date Sun, 28 Aug 2016 22:49:27 +0000 (UTC)
User-Agent Gnus/5.13 (Gnus v5.13) Emacs/24.2 (berkeley-unix)
Cancel-Lock sha1:rxXvqLmZgRhDMhR/OEdPpI3u5vk=
Xref csiph.com comp.lang.javascript:31199

Show key headers only | View raw

ram@zedat.fu-berlin.de (Stefan Ram) writes:

>Lewis Perin <perin@panix.com> writes:
>>I'm generally sympathetic to the idea that one criterion for judging
>>programs is how easy they are to reason about.  But there's often a
>>glibness about this when it isn't clear who is doing the reasoning: a
>>person or a computer program?
>
>      »[P]rograms must be written for people to read,
>      and only incidentally for machines to execute.«
>
>    SICP
>
>      "Any fool can write code that a computer can understand.
>      Good programmers write code that humans can understand." 
>
>    Martin Fowler

Sure, and you could quote Knuth on literate programming.  I agree with
all of this.  Apparently I should have elaborated on what I meant by
“reasoning about a program.”  I meant to include under that rubric not
just correctly executing the source code, but also understanding what
the source code was trying to do and satisfying oneself (proving) that
the code achieves that goal under all circumstances.

/Lew
---
Lew Perin / perin@acm.org
http://babelcarp.org

Back to comp.lang.javascript | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

JSlint finds for loops intolerable emf <emfril@gmail.com> - 2016-08-28 06:56 -0400
  Re: JSlint finds for loops intolerable "Christoph M. Becker" <cmbecker69@arcor.de> - 2016-08-28 14:28 +0200
    Re: JSlint finds for loops intolerable emf <emfril@gmail.com> - 2016-08-29 22:35 -0400
    Re: JSlint finds for loops intolerable Thomas 'PointedEars' Lahn <PointedEars@web.de> - 2016-08-30 12:11 +0200
      Re: JSlint finds for loops intolerable "Christoph M. Becker" <cmbecker69@arcor.de> - 2016-09-03 20:54 +0200
      Re: JSlint finds for loops intolerable Scott Sauyet <scott@sauyet.com> - 2016-09-03 23:03 +0000
    Re: JSlint finds for loops intolerable Scott Sauyet <scott@sauyet.com> - 2016-09-03 22:47 +0000
  Re: JSlint finds for loops intolerable Lewis Perin <perin@panix.com> - 2016-08-28 16:50 -0400
    Re: JSlint finds for loops intolerable Lewis Perin <perin@panix.com> - 2016-08-28 18:49 -0400
      Re: JSlint finds for loops intolerable Lewis Perin <perin@panix.com> - 2016-08-28 19:13 -0400
  Re: JSlint finds for loops intolerable $Bill <news@todbe.com> - 2016-08-28 14:59 -0700

csiph-web