From: Kilgallen@eisner.decus.org.nospam (Larry Kilgallen)
Subject: Re: [ANNOUNCE] pyAda, first public release
Date: 1 Mar 2001 10:08:42 -0500
Date: 2001-03-01T10:08:42-05:00 [thread overview]
Message-ID: <UVZcPj21AeC9@eisner.encompasserve.org> (raw)
In-Reply-To: Xvsn6.7$R4.940@news.clarkson.edu
In article <Xvsn6.7$R4.940@news.clarkson.edu>, "Brad Clements" <bkc@Murkworks.com> 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.
next prev parent reply other threads:[~2001-03-01 15:08 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-03-01 2:54 [ANNOUNCE] pyAda, first public release Gerhard Häring
2001-03-01 14:01 ` Brad Clements
2001-03-01 14:21 ` John English
2001-03-01 17:58 ` David Starner
2001-03-01 15:08 ` Larry Kilgallen [this message]
2001-04-07 16:43 ` Charles Hixson
2001-03-01 19:36 ` Terry Westley
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox