Re: Attributes containing JavaScript

From	Ben Bacarisse <ben.usenet@bsb.me.uk>
Newsgroups	comp.lang.javascript
Subject	Re: Attributes containing JavaScript
Date	2019-02-08 13:27 +0000
Organization	A noiseless patient Spider
Message-ID	<87mun6bec6.fsf@bsb.me.uk> (permalink)
References	(2 earlier) <JavaScript-20190206211054@ram.dialup.fu-berlin.de> <dijkstra-20190207154532@ram.dialup.fu-berlin.de> <XnsA9EFB461C7545eejj99@194.109.6.166> <87o97ne3es.fsf@bsb.me.uk> <096ce4eb-e9c4-4050-8c10-23e9ccb30cdd@googlegroups.com>

Show all headers | View raw

Julio Di Egidio <julio@diegidio.name> writes:

> On Thursday, 7 February 2019 21:42:42 UTC+1, Ben Bacarisse  wrote:
>
>> [Dijkstra]
>> above all else with program correctness.  He considered programs to be
>> mathematical texts about which one could (and should) reason.
>
> Conflating real programming (a subbranch of engineering) with computer
> science (a subbranch of mathematics) is a disastrous mistake and the
> origin of most (though not all) disasters in production.
>
>> His book,
>> The Discipline of Programming, should be required reading for all
>> aspiring programmers.  It changed the way I programmed forever.
>
> For the worst, apparently.

What an extraordinary thing to claim to know about!

> << Beware of bugs in the above code,
>    I have only proved it correct,
>    not tested it." >>
>
> Have you missed *that* lesson?

Aphorisms are not lessons.  The roles played by testing and reasoning,
and the relationship between them, are not easy to sum up in a few
words.  They constitute many lessons.

-- 
Ben.

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

Thread

Re: Attributes containing JavaScript JJ <jj4public@vfemail.net> - 2019-02-07 02:41 +0700
  Re: Attributes containing JavaScript Thomas 'PointedEars' Lahn <PointedEars@web.de> - 2019-02-06 22:01 +0100
  Re: Attributes containing JavaScript "Evertjan." <exxjxw.hannivoort@inter.nl.net> - 2019-02-07 17:43 +0100
    Re: Attributes containing JavaScript Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-02-07 20:42 +0000
      Re: Attributes containing JavaScript Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-02-07 21:57 +0000
      Re: Attributes containing JavaScript Julio Di Egidio <julio@diegidio.name> - 2019-02-07 23:14 -0800
        Re: Attributes containing JavaScript "Evertjan." <exxjxw.hannivoort@inter.nl.net> - 2019-02-08 09:13 +0100
          Re: Attributes containing JavaScript Julio Di Egidio <julio@diegidio.name> - 2019-02-08 00:20 -0800
        Re: Attributes containing JavaScript Julio Di Egidio <julio@diegidio.name> - 2019-02-08 00:45 -0800
        Re: Attributes containing JavaScript Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-02-08 13:27 +0000

csiph-web