From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: fac41,9a0ff0bffdf63657
X-Google-Attributes: gidfac41,public
X-Google-Thread: 103376,4b06f8f15f01a568
X-Google-Attributes: gid103376,public
X-Google-Thread: 1108a1,9a0ff0bffdf63657
X-Google-Attributes: gid1108a1,public
X-Google-Thread: f43e6,9a0ff0bffdf63657
X-Google-Attributes: gidf43e6,public
From: Rod Chapman <rod@praxis-cs.co.uk>
Subject: Re: Is there a language that Dijkstra liked? (was: Re: Software
 landmines (loops))
Date: 1998/10/12
Message-ID: <3621BCD7.CDB33E8F@praxis-cs.co.uk>#1/1
X-Deja-AN: 400171227
Content-Transfer-Encoding: 7bit
References: <6rf59b$2ud$1@nnrp1.dejanews.com>
 <l5HC1.6840$wN.1856764@news.giganews.com> <6rfra4$rul$1@nnrp1.dejanews.com>
 <35DBDD24.D003404D@calfp.co.uk> <m3ogt3qgca.fsf@mheaney.ni.net>
 <6sbuod$fra$1@hirame.wwa.com> <904556531.666222@miso.it.uq.edu.au>
 <6sgror$je8$3@news.indigo.ie> <6sh3qn$9p2$1@hirame.wwa.com>
 <Oi4H1.219$qj1.315418@newsread.com> <6simjo$jnh$1@hirame.wwa.com>
 <35eeea9b.2174586@news.erols.com> <6sjj7n$3rr$1@hirame.wwa.com>
 <35f055a5.1431187@news.erols.com> <6sjnlu$83l$1@hirame.wwa.com>
 <o1fH1.543$495.132579351@newsreader.digex.net> <6skfs7$2s6$1@hirame.wwa.com>
 <gwinn-0309982042490001@d8.dial-4.cmb.ma.ultra.net>
 <35F252DD.5187538@earthlink.net> <6t4dge$t8u$1@nnrp1.dejanews.com>
 <6t5mtp$4ho$1@news.indigo.ie>
 <gio+van+no+ni+8-1609980034390001@dialup26.tlh.talstar.com>
 <35FFE58C.5727@ibm.net> <YnSL1.651$pB3.2769531@news1.atlantic.net>
 <3600E72E.24C93C94@cl.cam.ac.uk> <6ts1q0$vo2$1@nnrp1.dejanews.com>
 <m37lyawrrq.fsf@mheaney.ni.net> <3620FA1A.AC761584@eiffel.com>
Content-Type: text/plain; charset=us-ascii
Organization: Praxis plc, U.K.
Mime-Version: 1.0
Newsgroups: 
 comp.lang.eiffel,comp.object,comp.software-eng,comp.lang.ada,comp.lang.eiffel
Date: 1998-10-12T00:00:00+00:00
List-Id: <comp.lang.ada>

Bertrand Meyer wrote:

>         1980: Hoare's Turing lecture, "The Emperor's Old Clothes", includes
>         strongly critical comments on Ada.
>
>

We should also bear in mind that Hoare's comments were on the 1980 incarnation ofthe
Green language, not on Ada83.  In particular, the 'Failure exception (a kind of
inter-task  remote exception) was not included in Ada83, and I have an impression
(although I cannot remember where it came from) that Hoare particularly objected
to that feature of Green.  (Oddly, "remote exceptions" briefly raised their
ugly head during the 9X mapping process, and were quickly squashed - we got
nested ATC instead :-) )
 - Rod Chapman
Praxis Critical Systems