Re: Ada Successor Language

["Alejandro R. Mosteo" <alejandro@mosteo.com>]

On 18/06/2018 23:27, ric.wai88@gmail.com wrote:
> On Monday, June 18, 2018 at 5:20:32 PM UTC-4, Shark8 wrote:
> 
>> I'd honestly like the ability to use X'Type; this would allow us to say something like this:
>>
>> Procedure Swap( A, B : in out Some_Type ) is
>>    Temp : Constant B'Type := B;
>> Begin
>>    B:= A;
>>    A:= Temp;
>> End Swap;
>>
>> Yeah, I know, it's a little thing and you can do it with generics, etc. But that's not entirely the point, the point is that this allows the declaration of types dependent on objects... it provides some of the niceties of type-inference without having to resort to such lazy/possibly-error-prone methodologies.
> 
> 
> Why would you want that? You have to have visibility to the type to declare an object of the type. In your above example, you explicitly know about Some_Type, and you also explicitly know that A and B are of that type. So you don't need to query the parameter, since it is implicit.

I won't discuss the merit of the idea, but isn't C++11's "auto" doing this?