From: Brian Rogoff <bpr@shell5.ba.best.com>
Subject: Re: Depending on passing mechanism
Date: 1997/10/22
Date: 1997-10-22T00:00:00+00:00 [thread overview]
Message-ID: <Pine.BSF.3.96.971022155105.19886D-100000@shell5.ba.best.com> (raw)
In-Reply-To: EIFEst.BGL@world.std.com
On Wed, 22 Oct 1997, Robert A Duff wrote:
> Peter Hermann <ica2ph@alpha1.csv.ica.uni-stuttgart.de> wrote:
> >this thread has become very interesting due to
> >a couple of valuable contributions.
> >thank you all. You really have upvalued comp.lang.ada for a while.
> >I am wondering why the SPARK approach (J.Barnes)
> >has not been mentioned in this context.
>
> I think it *was* mentioned.
>
> The problem with SPARK is that it's such a *severe* subset of Ada.
> Sure, it solves the problem of by-copy vs by-ref parameters, and others,
> but it cuts out 90% of the language features. So, although I think it's
> a fine idea for safety-critical apps, I think it cuts out too much for
> general-purpose apps.
Just to amplify, SPARK is roughly
Ada - {generics, exceptions, tasking, "use", access types, goto}
+ {various annotations}
and I agree with Bob Duff that it is missing too much for general purpose
programming.
-- Brian
next prev parent reply other threads:[~1997-10-22 0:00 UTC|newest]
Thread overview: 54+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-10-13 0:00 Depending on passing mechanism Andre Spiegel
1997-10-13 0:00 ` Matthew Heaney
1997-10-14 0:00 ` Robert Dewar
1997-10-14 0:00 ` Robert Dewar
1997-10-14 0:00 ` Henry Baker
1997-10-15 0:00 ` JP Thornley
1997-10-15 0:00 ` Geert Bosch
1997-10-15 0:00 ` Robert Dewar
1997-10-15 0:00 ` Brian Rogoff
1997-10-19 0:00 ` Robert Dewar
1997-10-22 0:00 ` Henry Baker
1997-10-15 0:00 ` Robert Dewar
1997-10-17 0:00 ` Andre Spiegel
1997-10-17 0:00 ` Henry Baker
1997-10-17 0:00 ` Robert I. Eachus
1997-10-17 0:00 ` Jon S Anthony
1997-10-21 0:00 ` Robert A Duff
1997-10-21 0:00 ` Peter Hermann
1997-10-22 0:00 ` Robert A Duff
1997-10-22 0:00 ` Brian Rogoff [this message]
1997-10-22 0:00 ` Henry Baker
1997-10-21 0:00 ` Robert Dewar
1997-10-22 0:00 ` Jon S Anthony
1997-10-22 0:00 ` Brian Rogoff
1997-10-15 0:00 ` Henry Baker
1997-10-15 0:00 ` Robert Dewar
1997-10-15 0:00 ` Jon S Anthony
1997-10-16 0:00 ` Brian Rogoff
1997-10-17 0:00 ` Henry Baker
1997-10-18 0:00 ` Brian Rogoff
1997-10-18 0:00 ` Matthew Heaney
1997-10-19 0:00 ` Brian Rogoff
1997-10-21 0:00 ` Robert A Duff
1997-10-22 0:00 ` Robert Dewar
1997-10-22 0:00 ` Brian Rogoff
[not found] ` <dewar.877601826@merv>
1997-10-23 0:00 ` Brian Rogoff
1997-10-23 0:00 ` Henry Baker
1997-10-23 0:00 ` Brian Rogoff
1997-10-19 0:00 ` Fergus Henderson
1997-10-19 0:00 ` Brian Rogoff
1997-10-20 0:00 ` Fergus Henderson
1997-10-20 0:00 ` Henry Baker
1997-10-20 0:00 ` Tucker Taft
1997-10-21 0:00 ` Geert Bosch
1997-10-18 0:00 ` Fergus Henderson
1997-10-21 0:00 ` Robert A Duff
1997-10-22 0:00 ` Henry Baker
1997-10-21 0:00 ` Matthew Heaney
1997-10-22 0:00 ` Simon Wright
1997-10-23 0:00 ` Henry Baker
1997-10-23 0:00 ` Pat Rogers
1997-10-24 0:00 ` Robert Dewar
1997-10-23 0:00 ` Robert A Duff
1997-10-21 0:00 ` Keith Thompson
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox