Re: Type naming conventions: Any_Foo

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

On 2019-12-08 12:55, Jeffrey R. Carter wrote:
> On 12/7/19 12:21 PM, Dmitry A. Kazakov wrote:
>> On 2019-12-07 11:13, Jeffrey R. Carter wrote:
>>>
>>> As these are generic data structures, there are no instances of the 
>>> type.
>>
>> Each type has instances = objects of.
> 
> I have seen a generic data structure named Generic_B_Trees, written by 
> Dimitry Kazakov. It has 2 generic formal types, and no instances of 
> either of those types.

I am not sure what your point is. The formal type is not a type. It is a 
class, set of types. An actual type of the formal type is a proper type. 
Both have instances. The instances of a formal type are types. The 
instances of a type are object of.

My point is that calling a class or a singular type Element is not good.

>>> As I have presented here in the past a proof of concept of a GUI 
>>> library that uses no access types, this is demonstrably false.
>>
>> Yes, I remember you did, but I also remember that it was not really 
>> usable.
> 
> I implemented several examples using the it, and found it quite usable, 
> and the resulting code much easier to understand than typeical GUIs.

In my view it lacks fundamental GUI elements like aggregation of 
widgets, hierarchical organization of events and event handling, classes 
of widgets.

I don't see how these can be solved without references. I hate pointers, 
but I doubt that the references required for GUI can be made 
significantly safer than pointers in Ada, presently.

And the reference types must have separate names anyway, again 
presently. [ I could imagine some attribute to denote corresponding type 
anonymously, like T'Class does, but that is not Ada. ]

> However, the point in contention was your claim that you are required to 
> use access types to have a GUI. When that was demonstrated to be untrue, 
> you attempted to change the subject. So I consider this discussion 
> finished.

OK

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