Re: Ada-Oriented GUI

[Bojan Bozovic <bozovic.bojan@gmail.com>]

On Friday, March 23, 2018 at 10:05:08 AM UTC+1, Jeffrey R. Carter wrote:
> On 03/23/2018 12:47 AM, Randy Brukardt wrote:
> > 
> > A system that decides to just ignore race conditions as "unavoidable" is
> > going in the wrong direction. Most likely, it will kill us all when it's
> > running self-driving cars and autopilots.
> 
> Autopilots have to be certified to DO178B/C. They'll continue to be written in 
> Ada and not kill us.
> 
> Self-driving cars, though operating in a much more complex environment, don't 
> seem to need any certification, and will probably kill us all.
> 
> -- 
> Jeff Carter
> "From this day on, the official language of San Marcos will be Swedish."
> Bananas
> 28

So true, but complexity sells instead of correctness, so we have generations of programmers which continue to write sloppy code instead doing the right thing, and always thinking whether the work would be liked by Tony Hoare or late Edsger W. Dijkstra. For program code to be correct, DO-178B/C isn't needed, though following DO-178B/C results in correct program code.