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!news.eternal-september.org!.POSTED!not-for-mail
From: "G.B." <bauhaus@notmyhomepage.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Introductory Ada Programming Book
Date: Thu, 5 Jan 2017 01:47:26 +0100
Organization: A noiseless patient Spider
Message-ID: <o4k502$hpj$1@dont-email.me>
References: <deaa5406-3a20-4836-9961-9b8fa32a1810@googlegroups.com>
 <7dfef876-f1b5-4a1d-aea0-0689f56ccaae@googlegroups.com>
Reply-To: nonlegitur@notmyhomepage.de
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 5 Jan 2017 00:45:55 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="edaa45db04211259f3eaac3061b62b35";
	logging-data="18227"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18P/d7J9vcQMQbh5maRmSyHvuSw9tBS3Uk="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9; rv:45.0)
 Gecko/20100101 Thunderbird/45.6.0
In-Reply-To: <7dfef876-f1b5-4a1d-aea0-0689f56ccaae@googlegroups.com>
Cancel-Lock: sha1:KqUmIN1ND5yh1G0eg9og0GET2Ps=
Xref: news.eternal-september.org comp.lang.ada:33061
Date: 2017-01-05T01:47:26+01:00
List-Id: <comp.lang.ada>

On 05.01.17 00:42, Andrew Shvets wrote:
> I do have one question.  In the book, I mentioned contracts only very briefly.  I figured that this is a more complex and only gave it a more passing mention.
>
> How often do you use contracts with Ada?

There may be a number of misunderstandings of contract
based design, so given it is still early for adopting contracts,
there is guidance: Meyer writes about meanings and uses
of "contracts", in OOSC2. SPARK is hard to imagine without
assertions, but these are meant to be statements of truth
to be demonstrated before anything is released, and in
particular before run-time. Whereas Ada's assert-like aspects
are illustrated in the latest edition of the Ada Rationale,
including how they are related to development, to debugging,
and to run-time.

-- 
"HOTDOGS ARE NOT BOOKMARKS"
Springfield Elementary teaching staff