Re: Your wish list for Ada 202X

[Niklas Holsti <niklas.holsti@tidorum.invalid>]

On 14-04-22 02:09 , Randy Brukardt wrote:
> "Niklas Holsti" <niklas.holsti@tidorum.invalid> wrote in message 
> news:brepivFq9kcU1@mid.individual.net...
>> On 14-04-19 00:28 , Randy Brukardt wrote: 
>>> ...
>>> I'd prefer a much simpler declaration of inheritance, something like:
>>>    type Child is new Parent with ...
>>>       with inherits => Foo, Bar, Blech;
>>>
>>> where names not listed are hidden from all visibility unless overridden.
>>
>> This form would probably strongly discourage overloaded operation names.
> 
> Possible, although in many instances, all of the overloaded routines do 
> essentially the same thing and thus either all need overriding or none do.

So saying "inherits => Foo" would inherit all operations named Foo. That
would work, but is a bit weak if the goal is to specify inheritance
explicitly.

> (After all, if you have overloaded routines doing *different* things, 
> something is wrong!)

Yes. So if the goal of "with inherits" is to specify explicitly the
"nature" of the inherited operations, for example all "read" operations
but no "write" operations, it is ok to let one name stand for all
operations with that name.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
      .      @       .