Re: abstract sub programs overriding

[Hyman Rosen <hyrosen@mail.com>]

Dmitry A. Kazakov wrote:
> C++ does everything right and anything else is not Ada.

This has nothing to do with programming language wars,
but perhaps with English language wars. When you state
categorically "So when T is view-convertible to T'Class,
then two constructors have to be applied: one of T, one
of T'Class. In the constructor of T you cannot dispatch,
in the constructor of T'Class you can do it safely." it
certainly sounds like you are saying that this is what
Ada does. But this is not what Ada does, it is what you
would like Ada to do. Responding to such statements is
difficult when it's not clear which case you are talking
about.