Path: csiph.com!eternal-september.org!feeder.eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail From: Ben Bacarisse Newsgroups: comp.lang.javascript Subject: Re: Attributes containing JavaScript Date: Fri, 08 Feb 2019 13:27:05 +0000 Organization: A noiseless patient Spider Lines: 32 Message-ID: <87mun6bec6.fsf@bsb.me.uk> References: <1x69hacp503o6.1gifrnn9k8uvf$.dlg@40tude.net> <87o97ne3es.fsf@bsb.me.uk> <096ce4eb-e9c4-4050-8c10-23e9ccb30cdd@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: reader02.eternal-september.org; posting-host="263d32e4a108e3c8e97e33b8e7a013a3"; logging-data="21381"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+Raf9VMOc7XvrTK9pgCn3hNGnBw06NOkg=" Cancel-Lock: sha1:nsZcirurGHUsOslnUMDwZlDE2qU= sha1:gGE5tPF+/MwwYwdDvvTmZf2qUrs= X-BSB-Auth: 1.680f7c3af2d65bc0eeb6.20190208132705GMT.87mun6bec6.fsf@bsb.me.uk Xref: csiph.com comp.lang.javascript:35998 Julio Di Egidio 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.