Re: Simple example on interfaces

[AdaMagica <christ-usch.grein@t-online.de>]

Dmitry A. Kazakov schrieb am Dienstag, 26. Januar 2021 um 12:53:25 UTC+1:
> The problem with generics (static polymorphism which also includes
> overloading) is that they answer no to the last question. There cannot
> be same program because there is no class-wide (polymorphic) objects
> from the generics' class.

universal_integer being something like class of all integers, this would be:

generic
  type T is range <>;
procedure F (X: T);

is replaced by the classwide

procedure F (X: universal_integer);  -- not Ada

universal_integer is anonymous and doesn't have any operations (except automatic conversion).

> P.S. Comparing generics to overloading, generics offer some re-use, and
> some degree of formalization at the cost of producing huge mess, while
> overloading does none.

I know you don't like generics. I do not see a huge mess.