From: Anh Vo <anhvofrcaus@gmail.com>
Subject: Re: preconditions rock
Date: Mon, 25 May 2020 10:14:01 -0700 (PDT)
Date: 2020-05-25T10:14:01-07:00 [thread overview]
Message-ID: <e49b111d-be61-4067-abe6-6b77e13b15b4@googlegroups.com> (raw)
In-Reply-To: <rafvbl$t7l$1@dont-email.me>
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
prev parent reply other threads:[~2020-05-25 17:14 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-05-25 0:00 preconditions rock Stephen Leake
2020-05-25 2:48 ` Anh Vo
2020-05-25 8:24 ` Jeffrey R. Carter
2020-05-25 17:14 ` Anh Vo [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox