From: Martin <martin@thedowies.com>
Subject: Re: Differences between Ada 83 and other revisions
Date: Sun, 16 Feb 2014 01:36:40 -0800 (PST)
Date: 2014-02-16T01:36:40-08:00 [thread overview]
Message-ID: <a2f5ae62-cc3f-4cfb-ac78-b3ec0eae1c4a@googlegroups.com> (raw)
In-Reply-To: <6aca36a4-cd78-4098-a1f7-646cb37cd14d@googlegroups.com>
On Thursday, February 13, 2014 10:18:54 PM UTC, adambe...@gmail.com wrote:
> On Thursday, February 13, 2014 2:00:00 PM UTC-8, Niklas Holsti wrote:
>
>
>
> > > So it would be safe to say that the newer versions of Ada have not
>
> > > enabled the creation of less reliable code.
>
> >
>
> > I would say so. You may find other people who disapprove of certain
>
> > language details (such as allowing "out" and "in out" parameters for
>
> > functions), due to reliability concerns.
>
>
>
> The one new feature that I think *could* be used to create less reliable code, if abused, is 'Unchecked_Access.
>
>
>
> -- Adam
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!
-- Martin
next prev parent reply other threads:[~2014-02-16 9:36 UTC|newest]
Thread overview: 25+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-02-13 15:59 Differences between Ada 83 and other revisions yoursurrogategod
2014-02-13 16:12 ` adambeneschan
2014-02-13 18:00 ` yoursurrogategod
2014-02-13 18:07 ` AdaMagica
2014-02-13 19:44 ` Niklas Holsti
2014-02-13 21:25 ` yoursurrogategod
2014-02-13 22:00 ` Niklas Holsti
2014-02-13 22:18 ` adambeneschan
2014-02-14 13:18 ` yoursurrogategod
2014-02-14 13:53 ` AdaMagica
2014-02-14 14:06 ` Jacob Sparre Andersen
2014-02-14 16:47 ` adambeneschan
2014-02-14 14:08 ` Robert A Duff
2014-02-16 9:36 ` Martin [this message]
2014-02-16 14:13 ` Robert A Duff
2014-02-16 15:58 ` J-P. Rosen
2014-02-19 22:09 ` Robert A Duff
2014-02-19 22:23 ` J-P. Rosen
2014-02-19 22:37 ` Robert A Duff
2014-04-19 8:59 ` Jacob Sparre Andersen
2014-02-19 22:34 ` adambeneschan
2014-02-19 22:58 ` Robert A Duff
2014-02-13 21:28 ` yoursurrogategod
2014-02-13 23:31 ` Randy Brukardt
2014-02-20 10:30 ` john
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox