Re: Your wish list for Ada 202X

[Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>]

On 27/03/14 09:26, Dmitry A. Kazakov wrote:
> Though, isn't it so that Ada-Comment and AI are meant to be
> unwelcoming in order to filter traffic?

comp.lang.ada could act as a filter and also as a place to get
feedback first, before suggesting something on Ada-Comment.

Since the Ada situation is such that one Ada vendor _is_ working
on integrating Ada and Parasail, I imagine that not every
suggestion WRT Ada is scrutinized with the help of the backwards
compatibility sledgehammer only.

Let me try one example that is about object construction:

(a)compilers diagnose when a variable is used before
     initialization;

(b) limited (derived) types do not have certain constructors
     that work up the derivation hierarchy;

(c) construction then requires C-style discipline lest it
     be forgotten, possibly leading to erroneous execution.

Then, ignoring the foreseeable backwards compatibility sledgehammer
for the moment; also ignoring the C-style questionimg about how
this is a real, pressing need of competent programmers blah-blah,
I'll ask:

Can there be a language rule that requires detection of
initialization of all parts of said object before use?

Is it worth it?

Is it simple?

Is it elegant?

Is it explicit enough?