From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: Full view of a private partial view cannot be a subtype
Date: Sun, 3 Dec 2017 20:03:40 +0100
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <p01hqc$ae7$1@dont-email.me>
References: <c6ba70e3-bfd0-42ca-b742-dc472965eea0@googlegroups.com>
 <p00p3c$o7s$1@dont-email.me>
 <889a3aed-4e6b-49c8-8c1c-6f1478e8e077@googlegroups.com>
 <p01229$hqn$1@dont-email.me>
 <fa3a793c-8f8e-4e68-8b99-b3762884cd14@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 3 Dec 2017 19:03:40 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="981a73b697aa3d294792fec12e070ae2";
	logging-data="10695"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19r43cJEL4DQORFS1QXYNN4qbrRsrWU5t0="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101
 Thunderbird/52.5.0
In-Reply-To: <fa3a793c-8f8e-4e68-8b99-b3762884cd14@googlegroups.com>
Content-Language: en-US
Cancel-Lock: sha1:kd9Qa9H2VnbxOBKN/oWeq2n3SqQ=
Xref: reader02.eternal-september.org comp.lang.ada:49335
Date: 2017-12-03T20:03:40+01:00
List-Id: <comp.lang.ada>

On 12/03/2017 06:44 PM, Robert Eachus wrote:
> 
> 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.

In 1994 there was a paper titled "Ada's Design Goals and Object-Oriented 
Programming" in /Ada Letters/. Not quite as many decades ago, and probably not 
as fun, and definitely not as catchy a title.

-- 
Jeff Carter
"So if I understand 'The Matrix Reloaded' correctly, the Matrix is
basically a Microsoft operating system--it runs for a while and
then crashes and reboots. By design, no less. Neo is just a
memory leak that's too hard to fix, so they left him in ... The
users don't complain because they're packed in slush and kept
sedated."
Marin D. Condic
65