Здравствуйте, Badenweiler, Вы писали:

B>Не знаю, может уже было.
B>Пришла вот такая мысль об ООП и наследовании:

B>А что, если бы была возможность при наследовании не только получать тип, унаследовавший все "богатства" от родителя, но и использовать наследники как самодостаточный тип (или тип, нормально унаследованный от ... от самодостаточного типа).
что то не понял, что понимается под самодостаточностью?