Re: How to get nice with GNAT?

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

On 11/25/2014 08:07 AM, ake.ragnar.dahlgren@gmail.com wrote:
> 
> Of course I always listen seriously to Jeff Carter but it's not obvious to me
> that doing "C in Ada" is bad. If I remember correctly Google employees are
> recommended to avoid using exceptions when doing C++. The designers of Google
> Go has gone great lengths to avoid the exception concept as much as possible.

We have decades of experience with C that shows that humans cannot use it safely
on real-world problems. Ignoring error codes is part of that problem. I think
it's clear the C mind set should not be emulated. As to Google and Go, if they
were worth listening to, they'd be using Ada :)

> In addition SPARK forbids usage of exceptions.

SPARK also requires proof that exceptions won't occur, and proof that error
codes are not ignored. C would be a much better language if it required proof
that error codes are not ignored, and arrays are never indexed past their
bounds, and proof ...

-- 
Jeff Carter
"I was in love with a beautiful blonde once, dear.
She drove me to drink. That's the one thing I'm
indebted to her for."
Never Give a Sucker an Even Break
109