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, MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,74b55538385b7366 X-Google-Attributes: gid103376,public From: dennison@telepath.com Subject: Re: Ada safety road Was: Which is right ... Date: 1999/06/09 Message-ID: <7jlvbn$ll6$1@nnrp1.deja.com>#1/1 X-Deja-AN: 487497712 References: <928083159.436.79@news.remarQ.com> <928174549.336.98@news.remarQ.com> <7iuqkc$ln6$1@nnrp1.deja.com> <928529202.956.79@news.remarQ.com> <928569312.951.42@news.remarQ.com> <7jb1l9$694$1@nnrp1.deja.com> <928703068.617.98@news.remarQ.com> <1999Jun6.181633.1@eisner> X-Http-Proxy: 1.0 x22.deja.com:80 (Squid/1.1.22) for client 204.48.27.130 Organization: Deja.com - Share what you know. Learn what you don't. X-Article-Creation-Date: Wed Jun 09 14:57:01 1999 GMT Newsgroups: comp.lang.ada X-Http-User-Agent: Mozilla/4.6 [en] (WinNT; I) Date: 1999-06-09T00:00:00+00:00 List-Id: In article , Robert A Duff wrote: > But there's a huge difference between doing something wrong and having > the compiler nicely point that out (either at compile time or at run > time), and having totally unpredictable behavior, and "erroneous" > doesn't capture that distinction in its normal English sense. > > There are few enough erroneous cases in Ada, that it would have been > reasonable to spell it out in a long phrase every time. Something like, > time nor at run time. If this error occurs, execution is totally > unpredictable." And then put some verbiage in chapter 1 about how awful > "totally unpredictable" really is. I think we used to use the term "nasal monkeys" on c.l.a., to imply that in this situation the compiler was free to cause monkeys to fly out of the user's nose. Perhaps the RM should use that term. :-) -- T.E.D. Sent via Deja.com http://www.deja.com/ Share what you know. Learn what you don't.