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.1 required=5.0 tests=BAYES_00, PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII X-Google-Thread: 10dd18,6bad6e708776a9ad X-Google-Attributes: gid10dd18,public X-Google-Thread: 103376,6bad6e708776a9ad X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-03-01 06:00:03 PST Path: supernews.google.com!sn-xit-02!supernews.com!news.tele.dk!144.212.100.101!newsfeed.mathworks.com!bloom-beacon.mit.edu!news.kodak.com!news-nysernet-16.sprintlink.net!news.sprintlink.net!news.clarkson.edu!not-for-mail From: "Brad Clements" Newsgroups: comp.lang.python,comp.lang.ada References: <3A9DB9E1.8DD0E36D@bigfoot.de> Subject: Re: [ANNOUNCE] pyAda, first public release X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4133.2400 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400 Message-ID: Date: Thu, 1 Mar 2001 09:01:58 -0500 NNTP-Posting-Host: 128.153.43.14 X-Trace: news.clarkson.edu 983454839 128.153.43.14 (Thu, 01 Mar 2001 08:53:59 EST) NNTP-Posting-Date: Thu, 01 Mar 2001 08:53:59 EST Xref: supernews.google.com comp.lang.python:23425 comp.lang.ada:5348 Date: 2001-03-01T09:01:58-05:00 List-Id: 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? -- Brad Clements, bkc@murkworks.com "Gerhard H�ring" wrote in message news:3A9DB9E1.8DD0E36D@bigfoot.de... > PS: This is my first major Ada project, so I am open to any suggestions > for improvement.