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:14:09 PST Path: supernews.google.com!sn-xit-03!supernews.com!news-feed.riddles.org.uk!newsfeed.direct.ca!look.ca!logbridge.uoregon.edu!server3.netnews.ja.net!server4.netnews.ja.net!server2.netnews.ja.net!newshost.central.susx.ac.uk!news.bton.ac.uk!not-for-mail From: John English Newsgroups: comp.lang.python,comp.lang.ada Subject: Re: [ANNOUNCE] pyAda, first public release Date: Thu, 01 Mar 2001 14:21:11 +0000 Organization: University of Brighton Message-ID: <3A9E5AD7.FAB962F5@bton.ac.uk> References: <3A9DB9E1.8DD0E36D@bigfoot.de> NNTP-Posting-Host: straumli.it.bton.ac.uk MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: saturn.bton.ac.uk 983456462 27224 193.62.183.204 (1 Mar 2001 14:21:02 GMT) X-Complaints-To: news@bton.ac.uk NNTP-Posting-Date: 1 Mar 2001 14:21:02 GMT X-Mailer: Mozilla 4.5 [en] (Win95; I) X-Accept-Language: en Xref: supernews.google.com comp.lang.python:23439 comp.lang.ada:5355 Date: 2001-03-01T14:21:02+00:00 List-Id: Brad Clements wrote: > > 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? You're asking for a pure Ada implementation of Python, then. Even without this, being able to embed a Python (or Tcl) interpreter into an existing system can be very useful, as it lets you provide the system with a macro language as part of the user interface... ----------------------------------------------------------------- John English | mailto:je@brighton.ac.uk Senior Lecturer | http://www.it.bton.ac.uk/staff/je Dept. of Computing | ** NON-PROFIT CD FOR CS STUDENTS ** University of Brighton | -- see http://burks.bton.ac.uk -----------------------------------------------------------------