Re: Unchecked_Deallocation with tagged types

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

On 4/18/21 11:13 AM, DrPi wrote:
>>
> I know Ada convention is to use Camel_Case_Syntax. Maybe there's also a 
> convention for naming ?

There are many conventions for naming, most of them poor (defined as any I don't 
like).

You know the rule that comments should not repeat what's clear from the code? A 
similar rule should apply to identifiers. So if you have

type <Name> is record ...

it's clear that <Name> is a type name for a record type, so it should not repeat 
any of that.

Many types are declared in package specs, along with operations on the type. 
There, the objective should be to have parameter names for the operations that 
read well with named notation. The type name must then be something different. I 
like to use

package Lists is
    type Handle is tagged limited private;

    procedure Clear (List : in out Handle);

and then use

    List : Lists.Handle;

    List.Clear;

-- 
Jeff Carter
"Run away! Run away!"
Monty Python and the Holy Grail
58