Re: was Re: Ada / C++ comparison paper anymore

["Mark Lundquist" <no.spam@getalife.com>]

"Patrick Hohmeyer" <pi3_1415926536@yahoo.ca> wrote in message
news:jG5U7.24823$Yq5.2595738@news20.bellglobal.com...

>
> I consider it one of Ada's greatest *strength* that there is no
> auto-instantiation.
>
> Because you can write :
>
> type T1 is //whatever
> type T2 is new T1;
>
> procedure P1 is new P_Base(T1); //P_Base is generic
>
> now T1 and T2 have the same content, but different behavior.
> And you can be sure that the P1 procedure cant be called
> with a T2 variable as parameter.

No, but if I want to write

    procedure P2 is new P_Base (T2);

I can certainly do that, right?  And while P1 is primitive to T1 and P2 is
not necessarily primitive to T2 (depending on the scope of the
instantiation), an implicit instantiation is obviously not primitive either.
I'm not seeing how my scheme weakens anything at all...  It just results in
a lighter syntax.  Can you please be more specific about *exactly* what
problems you see it causing, and how?  I would be genuinely interested to
know...

-- mark