Re: newbie, Spark 2014 or Ada 2012

["Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>]

On 07/09/2015 01:10 PM, Paul Rubin wrote:
> 
> I don't claim this process gives the level of assurance that traditional
> Ada application areas require, but similarly, most people don't need to
> drive a military battle tank if they're only going to the corner store.

Actually, driving a tank is simpler than going to the corner store. A tank is
armed and armored and you don't care much where it goes or if it runs into
things. Going to the corner store, you need to stay on the street, avoiding
other cars, people, dogs, buildings, and so on.

In simple terms: all programs need to be correct, robust, and reliable.

-- 
Jeff Carter
"Violence is the last refuge of the incompetent."
Foundation
151