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

[Simon Clubley]

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.

-- 
Simon Clubley, clubley at remove_me.eisner.decus.org-Earth.UFP
Walking destinations on a map are further away than they appear.