Re: Ada Successor Language

[Shark8 <onewingedshark@gmail.com>]

On Monday, June 18, 2018 at 2:45:39 PM UTC-6, Niklas Holsti wrote:
> On 18-06-18 23:22 , Jeffrey R. Carter wrote:
> > On 06/18/2018 09:16 PM, Niklas Holsti wrote:
> >>
> >> Nah... invites "Ada'Succ sucks".
> >
> > Also, in Ada, Ada'Succ is not the successor of Ada.
> 
> But perhaps the successor language will let us write X'Succ as an 
> abbreviation of X_Type'Succ(X) ... similarly to the recent introduction 
> of X'Image.

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.