Re: Simon J. Wright

["Stéphane Rivière" <stef@genesix.org>]

Niocláisín, thanks for your comments

Some related links (no paywall)

https://www.blackcatholicmessenger.org/charlene-roberts-hayden-obit/

https://hart-site.net/Purdue-CS-Panel-Reunion/WhateverHappenedTo/HalHart.html


> She wrote to Hal Hart via Team Ada in 1997:
> "Hal,
> 
>   I strongly agree with your comments.  I know here in the Boston area,
> on various committees I participate on, I have heard nothing but
> distress and regret  from the proponents of Ada who know the worth of
> the only highly reliable HOL in existence today,  and sarcasm from Ada's
> opponents, "even the DoD has given up on Ada".  I think that without the
> Ada mandate, given the popular, existing languages unreliability and the
> software explosion far surpassing that of the 1980's,  the DoD is headed
> for an even more catastrophic software revolution than that which
> preceded and was the impetus for the Ada language."

This was very true and has been verified.

-- 
Stéphane Rivière
Ile d'Oléron - France