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

Groups > comp.lang.javascript > #31201

Re: JSlint finds for loops intolerable

Path csiph.com!xmission!news.snarked.org!news.linkpendium.com!news.linkpendium.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 19:13:34 -0400
Organization PANIX Public Access Internet and UNIX, NYC
Lines 21
Message-ID <pc7fuposd0h.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> <pc7k2f0se4p.fsf@panix1.panix.com> <while-20160829000138@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 1472426014 91 166.84.1.1 (28 Aug 2016 23:13:34 GMT)
X-Complaints-To abuse@panix.com
NNTP-Posting-Date Sun, 28 Aug 2016 23:13:34 +0000 (UTC)
User-Agent Gnus/5.13 (Gnus v5.13) Emacs/24.2 (berkeley-unix)
Cancel-Lock sha1:hNKUJprUUW4nIwugpx/hBKAJdNc=
Xref csiph.com comp.lang.javascript:31201

Show key headers only | View raw

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

>Lewis Perin <perin@panix.com> writes:
>>                              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.
>
>  And, since we were discussing »while versus for«: do you believe
>  that either of these two (»while« and »for«) is adapted better
>  for this purpose?
>

No.  But once you get beyond this microscopic level, I see no reason to
assume that optimizing for human understanding is the same as optimizing
for machine verifiability.

/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