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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,6bad6e708776a9ad X-Google-Attributes: gid103376,public X-Google-Thread: 10dd18,6bad6e708776a9ad X-Google-Attributes: gid10dd18,public X-Google-ArrivalTime: 2001-03-01 07:13:08 PST Path: supernews.google.com!sn-xit-02!supernews.com!news.gv.tsc.tdk.com!newsfeed.berkeley.edu!ucberkeley!newsfeed.mesh.ad.jp!sjc-peer.news.verio.net!news.verio.net!iad-read.news.verio.net.POSTED!kilgallen From: Kilgallen@eisner.decus.org.nospam (Larry Kilgallen) Newsgroups: comp.lang.python,comp.lang.ada Subject: Re: [ANNOUNCE] pyAda, first public release Message-ID: References: <3A9DB9E1.8DD0E36D@bigfoot.de> Organization: LJK Software Date: 1 Mar 2001 10:08:42 -0500 NNTP-Posting-Host: 216.44.122.34 X-Complaints-To: abuse@verio.net X-Trace: iad-read.news.verio.net 983459324 216.44.122.34 (Thu, 01 Mar 2001 15:08:44 GMT) NNTP-Posting-Date: Thu, 01 Mar 2001 15:08:44 GMT Xref: supernews.google.com comp.lang.python:23438 comp.lang.ada:5353 Date: 2001-03-01T10:08:42-05:00 List-Id: In article , "Brad Clements" writes: > I thought one of the big points of using Ada was its verifiability -- making > it more suitable for complex, "large-scale" (i.e, expensive) projects, like > missile defense. > > Plugging in a "non-verifiable" script plug-in kinda defeats this purpose.. > doesn't it? Indeed that is "one of the big points of using Ada", but there is no rule preventing people form using Ada for other purposes too, and many of us do so. While Ada has many capabilities, one does not have to use them all in every program. I believe that in 13 years of using Ada I have never used floating point.