Re: Questions on implementations and specs

["Marc A. Criley" <mcqada@earthlink.net>]

Darren New wrote:
> 
> > but I think the Java 'must specify exceptions' is a pain mostly (even though
> > it helps with documenting exceptions).
> 
> It's mostly a pain when you're dealing with callbacks, tho. If your
> comparison routine might throw an error, and your sort routine doesn't
> declare the comparison routine as capable of throwing an error, you're
> pretty screwed.
> 
> Of course, you can throw a run-time exception, but that kind of defeats
> the purpose of declaring such things.

Just as a point of information:

The theme of the 9/01 issue of SIGAda's Ada Letter's publication is what
to do about Ada's exceptions.  There's pretty universal agreement that
Ada's exception model is not well integrated with the rest of the
language (which is oriented around a comprehensive typing model), and
that the exception capabilities provided by C++ and Java are superior in
most aspects.

It appears likely that people want some kind of significant improvement
of the exception model for Ada 0Y, it's just not clear yet what the form
of that improvement will be.

Marc A. Criley
Senior Staff Engineer
Quadrus Corporation
www.quadruscorp.com