[Info-vax] Rust as a HS language, was: Re: Quiet?

[Dave Froble]

On 4/7/2022 1:39 PM, Simon Clubley wrote:
> On 2022-04-07, Dave Froble <davef at tsoft-inc.com> wrote:
>>
>> However, back to programming, restraints can happen in multiple ways.  Good
>> programming practices are one, tools that indicate questionable code another,
>> and of course testing.
>>
>
> And programming languages that help stop you from making silly mistakes,
> but also let you do unsafe work when needed. I posted a couple of links
> from the Ada 95 Style Guide the other day that addresses exactly this issue.
>
> BTW, testing can only prove the presence of bugs and not the absence
> of them. Someone else can still come along and do testing in a different
> way that finds undiscovered issues. Look at the stuff about EVL that
> I posted recently as an example.
>
> Simon.
>

Not if all possible outcomes are expected and handled.

A good design will include handling all possible outcomes.  Anything else is 
just when, not if, something unexpected occurs.

-- 
David Froble                       Tel: 724-529-0450
Dave Froble Enterprises, Inc.      E-Mail: davef at tsoft-inc.com
DFE Ultralights, Inc.
170 Grimplin Road
Vanderbilt, PA  15486