Re: Ada Annoyances

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

<raph.amiard@gmail.com> wrote in message 
news:be1619b4-2220-4287-8e67-1af32377d3f7@googlegroups.com...
...
>Ada forcing tagged types on you to use certain features *is* a problem, if 
>only
>because certain Ada users are forbidden to use tagged types altogether and 
>thus
>are prevented to use a lot of useful features.

Stupid language usage rules are not the problem of the language design, 
they're a management problem. I can understand banning T'Class (thus banning 
dynamic dispatching) and banning controlled types (thus banning hidden calls 
that can be harder to analyze), but not banning tagged types themselves. 
Indeed, (almost) all new types should be tagged - as Tucker said often 
during the Ada 9x development, "Tagged types work right"; for the most part, 
regular record types don't "work right" for various things and that can't be 
fixed because compatibility concerns. (Although Ada 2012 did bite the bullet 
about equality; that may be a significant reason why there is only one Ada 
2012 compiler to date.)

                                               Randy.