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!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: {Pre,Post}conditions and side effects
Date: Wed, 13 May 2015 20:36:41 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <mj0u79$q49$1@loke.gir.dk>
References: <2430252d-52a1-4609-acef-684864e6ca0c@googlegroups.com>
 <alpine.CYG.2.11.1412231747100.4196@WIL414CHAPIN.vtc.vsc.edu>
 <wccegrpq2om.fsf@shell01.TheWorld.com>
 <87tww5296f.fsf@adaheads.sparre-andersen.dk> <871tj9dp5b.fsf@theworld.com>
 <ce4af31e-d491-479f-a5b3-0b3eedea2a68@googlegroups.com>
 <midvq5$2u3$1@loke.gir.dk> <alpine.DEB.2.11.1505071103310.14859@debian>
 <migc9a$jp8$1@loke.gir.dk> <alpine.DEB.2.11.1505072052570.16448@debian>
 <mijen0$1hj$1@loke.gir.dk> <87pp6a1u9w.fsf@jester.gateway.sonic.net>
 <mirhjl$kvm$1@loke.gir.dk> <877fsd1xb5.fsf@jester.gateway.sonic.net>
 <mitt8a$goo$1@loke.gir.dk> <huo4vktkck8l$.15z81uhs8zx2h.dlg@40tude.net>
 <mivdul$bh9$1@dont-email.me> <1d9ioha0kn05$.1durah75rm1yn.dlg@40tude.net>
 <mivlmn$7af$1@dont-email.me> <fzyfvl2v29oi.1u7eycnwiwqzy$.dlg@40tude.net>
 <mivub6$a4o$1@dont-email.me> <5d5k4n9blbfl.hx4jw5yqa1o4.dlg@40tude.net>
NNTP-Posting-Host: rrsoftware.com
X-Trace: loke.gir.dk 1431567401 26761 24.196.82.226 (14 May 2015 01:36:41 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Thu, 14 May 2015 01:36:41 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Xref: news.eternal-september.org comp.lang.ada:25873
Date: 2015-05-13T20:36:41-05:00
List-Id: <comp.lang.ada>


"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:5d5k4n9blbfl.hx4jw5yqa1o4.dlg@40tude.net...
...
> I remind you earlier discussions on whether Positive is a type and about
> merits of LSP. Each time you change anything, you create a *new* type. 
> Thus
> when you constraint the set of values in an operation, e.g. by putting a
> precondition, you create a *new* type that carries this constraint. If you
> keep on pretending this new type same to the original type, you depart
> strong typing and go to weak typing or no typing. And you will be dearly
> punished for that by debugging countless exceptions popping here and 
> there,
> always when you expect them least.

Ergo, Dmitry has a truly bizarre world-view. Not much to be learned from 
that, sadly.

Positive is not a type, and never will be a type (from an Ada world-view, 
which is all we're talking about here). Makes no sense whatsoever. And it 
doesn't help anyone to ignore reality.

                           Randy.