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

Groups > comp.lang.javascript > #31199

Re: JSlint finds for loops intolerable

Show all headers | 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