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: G. B. <nonlegitur@nmhp.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Extending a third party tagged type while adding finalization
Date: Tue, 12 Dec 2017 20:08:01 -0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <p0pcv1$t4t$1@dont-email.me>
References: <4db43571-7f86-4e73-8849-c41160927703@googlegroups.com>
 <6496a10f-c97e-4e42-b295-2478ad464b2f@googlegroups.com>
 <6106dfe6-c614-4fc1-aace-74bf8d7435e3@googlegroups.com>
 <24767ee5-cda8-45e4-98d1-7da44757bd40@googlegroups.com>
 <ovifm6$f74$1@franka.jacob-sparre.dk>
 <037e7f02-9149-4648-b7c5-91f67c1c1961@googlegroups.com>
 <p04clr$e6$1@franka.jacob-sparre.dk>
 <p04d5g$6jd$1@gioia.aioe.org>
 <p071u9$30m$1@franka.jacob-sparre.dk>
 <p07343$1tst$1@gioia.aioe.org>
 <p0a4k8$lap$1@franka.jacob-sparre.dk>
 <p0auie$h5h$1@gioia.aioe.org>
 <p0cig1$7b6$1@franka.jacob-sparre.dk>
 <p0dm3g$dgf$1@gioia.aioe.org>
 <p0fa2g$uem$1@franka.jacob-sparre.dk>
 <p0lhk4$1okm$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 12 Dec 2017 20:08:01 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="e3c70d18ca5e84db9ef9820b8f56bb79";
	logging-data="29853"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18neDzR+4cV2bmO2SzZQWcsHRERvHAfWis="
User-Agent: NewsTap/5.3.1 (iPhone/iPod Touch)
Cancel-Lock: sha1:tsUWfMbVwGSoAJVoMJjFW4R8sws=
	sha1:KAlWuncFx26gFQFxtq35plFvFRg=
Xref: reader02.eternal-september.org comp.lang.ada:49455
Date: 2017-12-12T20:08:01+00:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote:
>
> Why bother with ADTs if you don't let them grow?

Some plants grow to their natural size and yet
they are useful for our purposes.

> I want everything designed in ADTs 
> with a stated purpose.

This renders distinct units of design, below and
above the level of “ADT”, as universally useless.
I never trust universal statements.