Re: Unchecked_Deallocation with tagged types

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

On 4/21/21 12:21 PM, Vincent Marciante wrote:
> On Tuesday, April 20, 2021 at 4:57:00 PM UTC-4, Jeffrey R. Carter wrote:
>> 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 ...
> 
> But that idiom pretty much prohibits "using" more than one package with such naming:
> 
> use Queues, Lists;
> 
> Queue : Handle; --\  Both
> List : Handle;     --/ ambiguous

Yes. But you can't use your preferred naming (pkg Lists, type List) either:

Queue : Queue; -- Both
List  : List;  -- illegal

Unless you give the pkg name, too, which you can do in either case.

-- 
Jeff Carter
"Monsieur Arthur King, who has the brain of a duck, you know."
Monty Python & the Holy Grail
09