Re: Ada 202x and square brackets

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

"Lucretia" <laguest9000@googlemail.com> wrote in message 
news:be2e3cf3-e452-4501-a960-822bf6432cd9@googlegroups.com...
> On Wednesday, 20 February 2019 23:47:53 UTC, Randy Brukardt  wrote:
>
>>              My_Arr : constant Some_Unconstrained_Array_Type := [1];
>>
>> Container aggregates are roughly user-defined array aggrgeates.
>> (Alternatively, you can [maybe should] think of an array as a built-in
>> container.)
>
> Do you think the language is getting a tad too complicated now?

How so? The idea has been that an abstract data type should be able to 
declare all of the same capabilities as a built-in type. The main remaining 
holes were literals and aggregates, and those have been addressed now.

It can be complicated to build such an ADT, but that's not something that is 
done often (much like with generics). OTOH, the user experience should be 
fairly seamless -- you can write the same thing whether or not the type is 
built-in or user-defined, and (if properly defined), they'll mean the same 
thing. Most people won't care how a user-defined aggregate is constructed 
any more than they care how a vector container supports indexing. (At least, 
that's the goal.)

                           Randy.