Re: "Must instantiate controlled types at library level." Why?

[Hyman Rosen <hyrosen@mail.com>]

Georg Bauhaus wrote:
> Then what will help an Abstract Datatype? How?

It's Kazakov's post, so you should know the answer by now :-)

He wants ADTs to be implemented using an inherited interface
but to keep the virtual table pointer (or other implementation)
separate from the objects by implementing fat pointers which
combine the address of the object and the address of the vtable.

In this way, he hopes that the code generative power of knowing the
explicit types involved in an operation can combine cleanly with the
expressive power of OO polymorphism. He is both encouraged and
discouraged by the distinction Ada makes between classwide types and
regular types because this comes tantalizingly close to implementing
his vision, unlike in C++ where this is intertwined with parameter
passing semantics of by-reference or by-value.