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=2.1 required=5.0 tests=BAYES_20,INVALID_MSGID, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: fac41,2c6139ce13be9980 X-Google-Attributes: gidfac41,public X-Google-Thread: 103376,3d3f20d31be1c33a X-Google-Attributes: gid103376,public From: Alan Brain Subject: Re: Safety-critical development in Ada and Eiffel Date: 1997/07/25 Message-ID: <33D990D1.26CD@dynamite.com.au>#1/1 X-Deja-AN: 258833323 References: <33D5A4AC.3C99@dynamite.com.au> Organization: @Home Reply-To: aebrain@dynamite.com.au Newsgroups: comp.lang.ada,comp.lang.eiffel Date: 1997-07-25T00:00:00+00:00 List-Id: Jon S Anthony wrote: > > In article donh@syd.csa.com.au (Don Harrison) writes: > > > :It appears to me that the difference between Ada-95 and Eiffel is like > > :the difference between Airbags and Seatbelts. > > > > I'm paranoid - I'd like an airbag (static typing etc.) *and* a seatbelt > > (DBC etc.)! :) > > Actually, I think you have that backwards: seatbelts (typing, system > validity, etc.) and airbag (DBC). Just like where airbags are noted > as being somewhat useful when used with seatbelts, but not > particularly useful (even dangerous) without seatbelts. Whatever. His point is that either is preferrable to having none, and having both is better than having either. A point I am in complete agreement with. -- aebrain@dynamite.com.au <> <> How doth the little Crocodile | Alan & Carmel Brain| xxxxx Improve his shining tail? | Canberra Australia | xxxxxHxHxxxxxx _MMMMMMMMM_MMMMMMMMM 100026.2014 compuserve o OO*O^^^^O*OO o oo oo oo oo By pulling MAERKLIN Wagons, in 1/220 Scale See http://www.z-world.com/graphics/z/master/8856.gif for picture