Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.javascript > #31201
| From | Lewis Perin <perin@panix.com> |
|---|---|
| Newsgroups | comp.lang.javascript |
| Subject | Re: JSlint finds for loops intolerable |
| Date | 2016-08-28 19:13 -0400 |
| Organization | PANIX Public Access Internet and UNIX, NYC |
| Message-ID | <pc7fuposd0h.fsf@panix1.panix.com> (permalink) |
| References | (1 earlier) <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> |
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
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