Re: Differences between Ada 83 and other revisions

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Martin <martin@thedowies.com> writes:

> But at least it spells out that it is potentially dangerous by being
> called 'Unchecked", like all the other 'Unchecked" parts of the
> language ...very easy to find!

If only that were true.  I don't see any "unchecked" here:

    for X'Address use ...;

    X := ...;

It would be great if you could find all unsafe (i.e. potentially
erroneous) code by searching for something like "unchecked".
But alas.

On the bright side, Ada doesn't have very many unsafe features,
and mostly allows them to be avoided and/or encapsulated.
Compare with C, where every array indexing operation is unsafe.

- Bob