Re: Full view of a private partial view cannot be a subtype

[Robert Eachus <rieachus@comcast.net>]

On Sunday, December 3, 2017 at 9:34:51 AM UTC-5, Jeffrey R. Carter wrote:
 
> Many people seem to think that as much as possible should be done through type 
> extension. They act as though the only tool they have is the hammer of type 
> extension, and so view every problem as a nail. In my experience type extension 
> is usually best avoided whenever possible.

Several decades ago, there was a fun paper: "Nesting in Ada is for the birds." by Lori Clarke et. al. https://dl.acm.org/citation.cfm?id=948651  It may be time for a similar article about type extension.  But it can't have quite so catchy a title.  Building a type using mix-ins works nicely, but you want all the actual objects in the program to be of the (many) great grandchild type.  I'll have to do more thinking about it.