Path: ...!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Janis Papanagnou <janis_papanagnou+ng@hotmail.com>
Newsgroups: comp.lang.c
Subject: Re: else ladders practice
Date: Tue, 19 Nov 2024 06:37:31 +0100
Organization: A noiseless patient Spider
Lines: 19
Message-ID: <vhh86t$1mtjb$1@dont-email.me>
References: <3deb64c5b0ee344acd9fbaea1002baf7302c1e8f@i2pn2.org>
 <vg0t3j$2ruor$1@dont-email.me>
 <78eabb4054783e30968ae5ffafd6b4ff2e5a5f17@i2pn2.org>
 <vg2g37$37mh3$1@dont-email.me> <6724CFD2.4030607@grunge.pl>
 <vg2llt$38ons$1@dont-email.me>
 <2491a699388b5891a49ef960e1ad8bb689fdc2ed@i2pn2.org>
 <b681ee05856e165c26a5c29bf42a8d9d53843d6d@i2pn2.org>
 <vg2ttn$3a4lk$1@dont-email.me> <vg33gs$3b8n5$1@dont-email.me>
 <vg358c$3bk7t$1@dont-email.me> <vg37nr$3bo0c$1@dont-email.me>
 <vg3b98$3cc8q$1@dont-email.me> <vg5351$3pada$1@dont-email.me>
 <vg62vg$3uv02$1@dont-email.me> <vg8a84$euka$1@dont-email.me>
 <vg8koq$gpsg$1@dont-email.me> <vgat50$112jp$1@dont-email.me>
 <vgb8if$13ioj$1@dont-email.me> <vgbhkt$155v2$1@dont-email.me>
 <vgn0vl$3kr82$1@dont-email.me> <vgnfnd$3nmui$1@dont-email.me>
 <vgpcdv$7jqv$1@dont-email.me> <vgqiii$edif$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 19 Nov 2024 06:37:34 +0100 (CET)
Injection-Info: dont-email.me; posting-host="ece78514e4f65c6792a686a8d9751b44";
	logging-data="1799787"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/+BNnpULaYXWZrvipwayQk"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101
 Thunderbird/45.8.0
Cancel-Lock: sha1:1rVghoTql6XJoRzEeHYnMRGi+qc=
X-Enigmail-Draft-Status: N1110
In-Reply-To: <vgqiii$edif$1@dont-email.me>
Bytes: 2690

On 10.11.2024 16:13, David Brown wrote:
>> [...]
> 
> My preferences are very much weighted towards correctness, not
> efficiency.  That includes /knowing/ that things are correct, not just
> passing some tests. [...]

I agree with you. But given what you write I'm also sure you know
what's achievable in theory, what's an avid wish, and what's really
possible. Yet there's also projects that don't seem to care, where
speedy delivery is the primary goal. Guaranteeing formal correctness
had never been an issue in the industry contexts I worked in, and I
was always glad when I had a good test environment, with a good test
coverage, and continuous refinement of tests. Informal documentation,
factual checks of the arguments, and actual tests was what kept the
quality of our project deliveries at a high level.

Janis