Re: Ada Successor Language

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 2018-06-29 05:48, Paul Rubin wrote:

> Because of that same FP indoctrination, in C++ I tend to use generics
> where it might be possible to use OO instead.  Does that avoid the
> hazards of slicing?

That depends on how you use generics. If the language has this or any 
other problem, then in most cases, you can reconstruct it using generic 
instances. Simply put the offending code in a generic and here you are.

If you mean specifically inheritance, then generics are not capable of 
it. There is no generic equivalent of, because each generic instance 
creates isolated types. Surely, you can use formal parameters like:

    generic
       type S is new T with private;

but that is inheritance the generic borrows from outside, not a generic 
mechanism by itself.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de