Re: Unchecked_Deallocation with tagged types

["Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>]

On 4/20/21 7:34 PM, Vincent Marciante wrote:
> 
>      Lists.List

My objection is that this says the same thing twice (hence my joke about adding 
more variants of "List" to it). "This is a list, and by the way, this is a 
list." To me, Lists.Handle says, "This is something that lets you manipulate a 
hidden implementation of lists."

But the most important thing, I think, is that you've thought about naming and 
can give meaningful reasoning for your choice. Too often the reason for wanting 
to use the same name for everything is, "I don't want to think." But thinking of 
good names is an important part of S/W engineering.

>   (Wouldn't some "C" people argue for using the same name but
> different capitalization to disambiguate ?:-)

You can literally use the same name for almost everything in Ada:

package List is
    type List is tagged limited private;

    procedure Clear (List: in out Standard.List.List);

List : Standard.List.List;

List.Clear;

Even worse, in some cases you can use Latin, Greek, and Cyrillic letters with 
very similar glyphs to disambiguate.

-- 
Jeff Carter
"I'm particularly glad that these lovely children were
here today to hear that speech. Not only was it authentic
frontier gibberish, it expressed a courage little seen
in this day and age."
Blazing Saddles
88