Re: Ada exceptions. unchecked?

[Hyman Rosen <hyrosen@mail.com>]

Darren New wrote:
> Because it prevents the programmer from ignoring the problem. Note, I didn't
> say it prevents the *program* from ignoring it, but the *programmer*.
> 
> That is, with checked exceptions, you can't call malloc() without checking
> the result, even if every single time you test the program, you manage to
> allocate enough memory.

Are we talking about the same thing here? The whole point
of exceptions is exactly to call malloc without checking
the result. With exception-based error handling, code is
written as if errors never happen, and resource allocation
is done with objects which release the resource when their
lifetime ends. Then if an error does happen, the exception
propogates out to a handler which usually deals with the
situation in a high-level fashion, and allocated resources
between the point of the exception and the handler are
cleaned up.