From: "Vladimir Olensky" <vladimir_olensky@yahoo.com>
Subject: Re: Ada GC (was Re: Ammo-zilla)
Date: 1999/11/10
Date: 1999-11-10T00:00:00+00:00 [thread overview]
Message-ID: <s2im1nadg8o55@corp.supernews.com> (raw)
In-Reply-To: wcczowniqoc.fsf@world.std.com
Robert A Duff wrote in message ...
>Bugs are not caused by people *trying* to do something -- they happen by
>accident!
Yes, no doubt that they happen by accident.
But sometimes they happen when someone is trying to do something
using unsafe features to achieve some goal that could not be achieved
using safe features and then something slips out of control (accidentally) .
And this happens not only in programming.
As far as access types concerned probability of such bugs could be
reduced if it would be possible to extend applicability of the VALID
attribute
to be used with some of the access types objects (not all but at least for
some kind of "TRACED" ACCESS TYPES supported by storage pools
with additional management overhead :-).
I feel that this could be very useful and it could make the idea behind
VALID
attribute to be more complete and more in line with the overall Ada
ideology.
Of course the same goal could be done by putting additional restrictions on
usage of some unsafe features but this idea leads to the direction that
were
followed by some other languages .
I feel that the better way (for general purpose programming) is to expand
applicability of the existing Ada safety features (making them more
complete).
VALID attribute falls in this category.
I am not insisting on all of that. I am just contemplating.
Regards,
Vladimir Olensky
next prev parent reply other threads:[~1999-11-10 0:00 UTC|newest]
Thread overview: 92+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-10-23 0:00 Ammo-zilla Stanley R. Allen
1999-10-24 0:00 ` Ammo-zilla Aidan Skinner
1999-10-24 0:00 ` Ammo-zilla Robert Dewar
1999-10-24 0:00 ` Ammo-zilla Matthew Heaney
1999-10-24 0:00 ` Ammo-zilla Aidan Skinner
1999-10-25 0:00 ` Ammo-zilla Jean-Pierre Rosen
1999-10-24 0:00 ` Ammo-zilla David Botton
1999-10-28 0:00 ` Ammo-zilla Charles Hixson
1999-10-28 0:00 ` Ammo-zilla Laurent Guerby
1999-10-28 0:00 ` Ammo-zilla Charles Hixson
1999-10-29 0:00 ` Ada and GC (Was Re: Ammo-zilla) Vladimir Olensky
1999-10-29 0:00 ` David Botton
1999-10-31 0:00 ` Vladimir Olensky
1999-10-30 0:00 ` Samuel T. Harris
1999-10-30 0:00 ` David Botton
1999-10-28 0:00 ` Ammo-zilla David Starner
1999-10-29 0:00 ` Ammo-zilla Larry Kilgallen
1999-10-29 0:00 ` Ammo-zilla David Starner
1999-10-29 0:00 ` Ammo-zilla Tucker Taft
1999-10-30 0:00 ` Ammo-zilla Lutz Donnerhacke
1999-10-29 0:00 ` Ammo-zilla David Botton
1999-10-29 0:00 ` Ammo-zilla mike
1999-10-29 0:00 ` Ammo-zilla David Botton
1999-10-31 0:00 ` Ammo-zilla Robert Dewar
1999-11-02 0:00 ` Ammo-zilla Charles Hixson
1999-11-03 0:00 ` Ammo-zilla Wes Groleau
1999-11-01 0:00 ` Ammo-zilla Geoff Bull
1999-10-29 0:00 ` Ammo-zilla Matthew Heaney
1999-10-29 0:00 ` Ammo-zilla Charles Hixson
1999-10-31 0:00 ` Ammo-zilla Robert Dewar
1999-10-31 0:00 ` Ammo-zilla David Starner
1999-11-01 0:00 ` Ammo-zilla Robert Dewar
1999-11-01 0:00 ` Ada and GC. Was: Ammo-zilla Vladimir Olensky
1999-11-01 0:00 ` Vladimir Olensky
1999-11-01 0:00 ` Tucker Taft
1999-11-02 0:00 ` Vladimir Olensky
1999-11-02 0:00 ` Robert Dewar
1999-11-02 0:00 ` Charles Hixson
1999-11-03 0:00 ` Robert Dewar
1999-11-03 0:00 ` Charles Hixson
1999-11-01 0:00 ` Ammo-zilla Robert Dewar
1999-11-01 0:00 ` Ammo-zilla Robert A Duff
1999-11-01 0:00 ` Ammo-zilla Vladimir Olensky
1999-11-01 0:00 ` Ammo-zilla Robert Dewar
1999-11-02 0:00 ` Ammo-zilla Robert A Duff
1999-11-02 0:00 ` Ammo-zilla Robert Dewar
1999-11-03 0:00 ` Ammo-zilla Vladimir Olensky
1999-11-03 0:00 ` Ammo-zilla Robert Dewar
1999-11-04 0:00 ` Ada GC (was Re: Ammo-zilla) Vladimir Olensky
1999-11-06 0:00 ` Robert Dewar
1999-11-06 0:00 ` Vladimir Olensky
1999-11-06 0:00 ` Vladimir Olensky
1999-11-06 0:00 ` Robert Dewar
1999-11-09 0:00 ` Robert A Duff
1999-11-10 0:00 ` Vladimir Olensky [this message]
1999-11-10 0:00 ` Richard D Riehle
1999-11-10 0:00 ` Robert A Duff
1999-11-10 0:00 ` Nick Roberts
1999-11-12 0:00 ` Robert I. Eachus
1999-11-12 0:00 ` Didier Utheza
1999-11-12 0:00 ` Robert Dewar
1999-11-12 0:00 ` Robert I. Eachus
1999-11-04 0:00 ` Ada GC (was Ammo-zilla) Nick Roberts
1999-11-04 0:00 ` Wes Groleau
1999-10-31 0:00 ` Ammo-zilla Robert Dewar
1999-10-31 0:00 ` Garbage colletion Lutz Donnerhacke
1999-11-01 0:00 ` Robert Dewar
1999-11-01 0:00 ` Lutz Donnerhacke
1999-11-01 0:00 ` Robert Dewar
1999-11-04 0:00 ` Didier Utheza
1999-11-04 0:00 ` David Starner
1999-11-01 0:00 ` Gnat IDE (was: Garbage colletion) Ted Dennison
1999-11-01 0:00 ` Garbage colletion Larry Kilgallen
1999-11-01 0:00 ` Robert Dewar
1999-11-01 0:00 ` Lutz Donnerhacke
1999-10-30 0:00 ` Ammo-zilla Lutz Donnerhacke
1999-10-30 0:00 ` Ammo-zilla Matthew Heaney
1999-10-31 0:00 ` Ammo-zilla Robert Dewar
1999-10-29 0:00 ` Ammo-zilla Robert I. Eachus
1999-10-28 0:00 ` Ammo-zilla Tucker Taft
1999-10-31 0:00 ` Ammo-zilla Brian Rogoff
1999-11-01 0:00 ` Ammo-zilla Robert Dewar
1999-11-01 0:00 ` Ammo-zilla Brian Rogoff
1999-11-02 0:00 ` Ammo-zilla Robert Dewar
1999-11-02 0:00 ` Ammo-zilla Brian Rogoff
1999-11-02 0:00 ` Ammo-zilla Robert A Duff
1999-10-28 0:00 ` Ammo-zilla Matthew Heaney
1999-10-28 0:00 ` Ammo-zilla mitch
1999-10-29 0:00 ` Ammo-zilla Matthew Heaney
1999-10-31 0:00 ` Ammo-zilla Robert Dewar
1999-10-24 0:00 ` Ammo-zilla Robert Dewar
1999-10-24 0:00 ` Ammo-zilla David Botton
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox