comp.lang.ada
 help / color / mirror / Atom feed
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


  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