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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: 
 border1.nntp.dca3.giganews.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Seeking for papers about tagged types vs access to subprograms
Date: Sun, 12 May 2013 09:59:50 +0200
Organization: cbb software GmbH
Message-ID: <1et4e9t6dnfcf$.dnry0bex4mn4$.dlg@40tude.net>
References: <op.wv8jh1c1ule2fv@cardamome>
 <p0pf97g5w6xg.jhca6ztjwpde$.dlg@40tude.net> <op.wwq9s4l6ule2fv@cardamome>
 <1bfhq7jo34xpi.p8n2vq6yjsea.dlg@40tude.net> <op.wwrefx1pule2fv@cardamome>
 <cps71yzogw24$.7ol98fxcaurj$.dlg@40tude.net> <op.wwriky0dule2fv@cardamome>
 <nd22gfeezrwf$.tlj4yyygrwq3$.dlg@40tude.net> <kmecg6$et4$1@loke.gir.dk>
 <12gn9wvv1gwfk.10ikfju4rzmnj.dlg@40tude.net> <kmh7d4$up3$1@loke.gir.dk>
 <1oy5rmprgawqs.1jz36okze0xju$.dlg@40tude.net> <kmk45u$v45$1@loke.gir.dk>
 <1q2ql1e4rcgko.diszzq1mhaq8$.dlg@40tude.net> <op.wwwtznpsule2fv@cardamome>
 <1msoad3apbkf.1optea1ujjydv.dlg@40tude.net>
 <wcc61ypi100.fsf@shell01.TheWorld.com>
 <otnq8fecgbel.1itrfodtky6d0.dlg@40tude.net> <op.wwyj4vovule2fv@cardamome>
 <xrlivgfvo6vp.1w3qblmw5gfzr.dlg@40tude.net> <lyhai8ps2g.fsf@pushface.org>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: 15waz9CoS+eMakbyhTPyFQ.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
X-Original-Bytes: 2288
Xref: number.nntp.dca.giganews.com comp.lang.ada:181598
Date: 2013-05-12T09:59:50+02:00
List-Id: <comp.lang.ada>

On Sun, 12 May 2013 08:37:11 +0100, Simon Wright wrote:

> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> 
>> To put it simply: if a type is designed in a way that limits it use,
>> it is a poor design.
> 
> I think that depends on who is paying for all the extra work you would
> be putting in.

Not much. If you can formalize the constraint to the level which would
allow its specification as a precondition, then you also can as easily
remove it from there.

On the other hand, considering all sorts of write once run once designs, it
would be quite strange to expect that people doing that would pay any
attention to writing preconditions.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de