Re: else ladders practice

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