Re: What would you like in Ada202X?

["Randy Brukardt" <randy@rrsoftware.com>]

"Georg Bauhaus" <rm.dash-bauhaus@futureapps.de> wrote in message 
news:4f97bf40$0$6559$9b4e6d93@newsspool4.arcor-online.net...
> On 25.04.12 09:47, Martin wrote:
...
> My favorite change would start here:
>
> 0) Which features do you think can be dropped from Ada?

Of course, practically, we can't drop anything because of compability 
concerns. The most we can do is banish things to Annex J.

I'd probably start with:

(1) Co-extensions (and more generally, allocators for anonymous access 
types). [I'd like to get rid of all anonymous types period, but that 
probably is going to far.];

(2) Generic in-out object parameters (almost never used, hard to implement, 
probably buggy because of the first two);

(3) Interfaces (buys almost nothing over abstract types, except a huge 
amount of complication in definition and implementation);

(4) Accessibility checking - both static and dynamic (finds 1 real error for 
every hundred reported - I've only once in more than 15 years been able to 
use 'Access on an object successfully). On top of that, the rules are 
complex and need huge efforts to maintain: clause 3.10.2 is known in the ARG 
as the "heart of darkness". And on top of that, it's not ever clear that the 
Ada 2005 rules as corrected are actually implementable (we have an open AI 
on that).

                                              Randy.