From: Robert A Duff <bobduff@world.std.com>
Subject: Re: Subverting 'Access for Sub-programs
Date: 1999/08/05
Date: 1999-08-05T00:00:00+00:00 [thread overview]
Message-ID: <wcczp06jj39.fsf@world.std.com> (raw)
In-Reply-To: 7oc5ih$6mb$1@wanadoo.fr
"Jean-Pierre Rosen" <rosen.adalog@wanadoo.fr> writes:
> OK, I understand your problem better (full examples always help :-)
> Of course, you realize that "Integrator" could store the pointer to function
> to any global variable, possibly resulting later in random branches.
This is not true of either of the proposals the design team proposed.
Your comment is, of course, true of 'Unchecked_Access on subprograms,
but please note that the design team never wanted to allow that. We
believed that "call backs" and "downward closures" are two separate
features, that each need their own (different) set of restrictions to be
safe. Call backs can't point to local subprograms, but they can be
copied anywhere you like. Downward closures can point to local
subprograms, but they can't be copied into global places. The language
ended up with call backs, but not downward closures.
Your comment is, of course, also true of what we ended up with --
'Unrestricted_Access, which is neither safe nor portable -- it's even
less checked than 'Unchecked_Access. That's what I meant when I said
"too bad..." in another posting.
- Bob
--
Change robert to bob to get my real email address. Sorry.
next prev parent reply other threads:[~1999-08-05 0:00 UTC|newest]
Thread overview: 68+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-08-03 0:00 Subverting 'Access for Sub-programs Anton Gibbs
1999-08-03 0:00 ` David C. Hoos, Sr.
1999-08-05 0:00 ` Robert A Duff
1999-08-03 0:00 ` Brian Rogoff
1999-08-03 0:00 ` Michael F. Yoder
1999-08-03 0:00 ` tmoran
1999-08-03 0:00 ` Steve Doiel
1999-08-03 0:00 ` Ted Dennison
1999-08-04 0:00 ` Anton Gibbs
1999-08-04 0:00 ` Robert A Duff
1999-08-04 0:00 ` Brian Rogoff
1999-08-05 0:00 ` tmoran
1999-08-05 0:00 ` Aidan Skinner
1999-08-05 0:00 ` Robert Dewar
1999-08-05 0:00 ` Ray Blaak
1999-08-06 0:00 ` Robert Dewar
1999-08-06 0:00 ` Robert A Duff
1999-08-08 0:00 ` Brian Rogoff
1999-08-09 0:00 ` Robert A Duff
1999-08-10 0:00 ` Brian Rogoff
1999-08-09 0:00 ` Tucker Taft
1999-08-06 0:00 ` Jean-Pierre Rosen
1999-08-06 0:00 ` Hyman Rosen
1999-08-07 0:00 ` Florian Weimer
1999-08-05 0:00 ` Anton Gibbs
1999-08-04 0:00 ` Jean-Pierre Rosen
1999-08-04 0:00 ` Brian Rogoff
1999-08-05 0:00 ` Jean-Pierre Rosen
1999-08-05 0:00 ` Robert A Duff [this message]
1999-08-05 0:00 ` tmoran
1999-08-06 0:00 ` Robert A Duff
1999-08-05 0:00 ` Brian Rogoff
1999-08-06 0:00 ` Robert Dewar
1999-08-09 0:00 ` Tucker Taft
1999-08-10 0:00 ` Robert Dewar
1999-08-11 0:00 ` Dmitry A. Kazakov
1999-08-11 0:00 ` Robert Dewar
1999-08-12 0:00 ` Dmitry A. Kazakov
1999-08-14 0:00 ` Robert Dewar
1999-08-16 0:00 ` Dmitry A. Kazakov
1999-08-11 0:00 ` Richard D Riehle
1999-08-11 0:00 ` Robert A Duff
1999-08-11 0:00 ` Robert Dewar
1999-08-11 0:00 ` Tucker Taft
1999-08-13 0:00 ` Robert Dewar
1999-08-13 0:00 ` Robert Dewar
1999-08-13 0:00 ` Brian Rogoff
1999-08-05 0:00 ` Robert Dewar
1999-08-05 0:00 ` adam
1999-08-05 0:00 ` Robert Dewar
1999-08-05 0:00 ` What is a Display ? (was: Subverting 'Access for Sub-programs) Larry Kilgallen
1999-08-05 0:00 ` Hyman Rosen
1999-08-06 0:00 ` Robert Dewar
1999-08-06 0:00 ` Robert Dewar
1999-08-05 0:00 ` Subverting 'Access for Sub-programs adam
1999-08-06 0:00 ` Robert A Duff
1999-08-06 0:00 ` adam
1999-08-09 0:00 ` Mark Biggar
1999-08-09 0:00 ` Robert A Duff
1999-08-06 0:00 ` Brian Rogoff
1999-08-07 0:00 ` Gautier
1999-08-05 0:00 ` Robert A Duff
1999-08-05 0:00 ` Robert Dewar
1999-08-05 0:00 ` Brian Rogoff
1999-08-05 0:00 ` Steve Quinlan
1999-08-04 0:00 ` Robert Dewar
1999-08-04 0:00 ` Robert A Duff
1999-08-04 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox