From: hbaker@netcom.com (Henry Baker)
Subject: Re: Depending on passing mechanism
Date: 1997/10/17
Date: 1997-10-17T00:00:00+00:00 [thread overview]
Message-ID: <hbaker-1710970939160001@10.0.2.1> (raw)
In-Reply-To: x2yb3simp9.fsf@moon.inf.fu-berlin.de
In article <x2yb3simp9.fsf@moon.inf.fu-berlin.de>, Andre Spiegel
<spiegel@inf.fu-berlin.de> wrote:
> (2) Let the compiler make the decision. The programmer specifies
> the "intent" of the parameter in a more abstract way. This is
> what Ada always did, through "in", "out", and "in out". The
> advantage is higher efficiency. Passing mechanisms may be
> employed automatically in an optimal way to make use of hardware
> characteristics, and to support given distribution scenarios.
> The drawback is non-deterministic program behavior, if only in
> rare circumstances that could well be called pathological.
> I think this way of handling parameters makes Ada particularly
> suitable for distributed systems with a high degree of transparency,
> i.e. where the programmer does not necessarily know where distribution
> boundaries will be at run-time.
>
> Andre Spiegel
> Free University of Berlin
My paper (ftp://ftp.netcom.com/pub/hb/hbaker/LimitedRobbery.html) shows
how copy-in, copy-out semantics violates the notion of limited private
types, and is therefore a dangerous idea.
I don't expect to change anyone's mind, but you should be aware that
Ada has serious flaws that are visible to those outside the Ada community,
although (apparently) are not visible to those within the community.
next prev parent reply other threads:[~1997-10-17 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 ` Geert Bosch
1997-10-15 0:00 ` Henry Baker
1997-10-15 0:00 ` Jon S Anthony
1997-10-15 0:00 ` Robert Dewar
1997-10-16 0:00 ` Brian Rogoff
1997-10-17 0:00 ` Henry Baker
1997-10-18 0:00 ` Fergus Henderson
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-15 0:00 ` Robert Dewar
1997-10-15 0:00 ` Robert Dewar
1997-10-17 0:00 ` Andre Spiegel
1997-10-17 0:00 ` Henry Baker [this message]
1997-10-17 0:00 ` Jon S Anthony
1997-10-17 0:00 ` Robert I. Eachus
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
1997-10-22 0:00 ` Henry Baker
1997-10-21 0:00 ` Robert Dewar
1997-10-22 0:00 ` Brian Rogoff
1997-10-22 0:00 ` Jon S Anthony
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 ` JP Thornley
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