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,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 2002:a37:6508:: with SMTP id z8mr15559284qkb.39.1590426842301;
        Mon, 25 May 2020 10:14:02 -0700 (PDT)
X-Received: by 2002:aca:3244:: with SMTP id y65mr11273895oiy.37.1590426842083;
 Mon, 25 May 2020 10:14:02 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 25 May 2020 10:14:01 -0700 (PDT)
In-Reply-To: <rafvbl$t7l$1@dont-email.me>
Complaints-To: groups-abuse@google.com
Injection-Info: google-groups.googlegroups.com; posting-host=149.32.224.37;
 posting-account=Qh2kiQoAAADpCLlhT_KTYoGO8dU3n4I6
NNTP-Posting-Host: 149.32.224.37
References: <975a04e0-497c-4335-ab66-d7493f9ae119@googlegroups.com>
 <rafvbl$t7l$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e49b111d-be61-4067-abe6-6b77e13b15b4@googlegroups.com>
Subject: Re: preconditions rock
From: Anh Vo <anhvofrcaus@gmail.com>
Injection-Date: Mon, 25 May 2020 17:14:02 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader01.eternal-september.org comp.lang.ada:58785
Date: 2020-05-25T10:14:01-07:00
List-Id: <comp.lang.ada>

On Monday, May 25, 2020 at 1:24:26 AM UTC-7, Jeffrey R. Carter wrote:
> On 5/25/20 2:00 AM, Stephen Leake wrote:
> > I just have to say that I'm really appreciating how much preconditions help during development; I'm get way better error messages when tests fail, so it is very easy to fix the problems.
> 
> Certainly, but preconditions are a way of thinking during design to create 
> correct software. It's nice to have them directly supported in a language, but 
> they're nothing new. I used preconditions in Ada 83 over 30 years ago.

But now the precondition is elevated. In addition, the codes and comments are always in synchronization. This will be the music to the ears of maintainers.

Anh Vo