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: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: {Pre,Post}conditions and side effects
Date: Wed, 13 May 2015 16:21:58 +0200
Organization: cbb software GmbH
Message-ID: <fzyfvl2v29oi.1u7eycnwiwqzy$.dlg@40tude.net>
References: <2430252d-52a1-4609-acef-684864e6ca0c@googlegroups.com>
 <wccoaqucn51.fsf@shell01.TheWorld.com>
 <9ee5e186-5aaa-4d07-9490-0f9fdbb5ca18@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>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: enOx0b+nfqkc2k+TNpOejg.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
Xref: news.eternal-september.org comp.lang.ada:25867
Date: 2015-05-13T16:21:58+02:00
List-Id: <comp.lang.ada>

On Wed, 13 May 2015 16:06:18 +0200, G.B. wrote:

> On 13.05.15 14:47, Dmitry A. Kazakov wrote:
>> Operations are defined on types.
> 
> Or, operations are of a type and Ada has no way to name
> this type directly?

All types have names in Ada.

The problem is when several types from the problem space are lumped into
one language type. That is either lousy design or else language deficiency.
E.g. in C everything is int. Preconditions put on operations promote
C-esque approach to software design.

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