Hyman Rosen wrote:

> Daniel Miller wrote:
>
>>   Unlike Ada which has resumptive exceptions, C++ has abortive
>> exceptions.
>
> Ada does not have resumptive exceptions. Ada exceptions behave
> just like C++ ones (except that they cannot be of arbitrary type).


     Yes, that's correct, and important.  Ada introduced
abortive exceptions at the language level.  Previous
thinking (C/Unix signals, LISP breaks) looked more like
forcing a subroutine call on an external event.
Means were usually provided in those languages
for aborting from such a subroutine (C longjmp,
LISP unwinding), but were never really satisfactory.
"longjmp" was too brutal, leaving all the intervening
callers in ill-defined states, and LISP unwinding
required a carefully constructed run time system.

     John Nagle
     Animats

---
[ comp.std.c++ is moderated.  To submit articles, try just posting with ]
[ your news-reader.  If that fails, use mailto:std-c++@ncar.ucar.edu    ]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://www.jamesd.demon.co.uk/csc/faq.html                       ]

"John Nagle" <nagle@animats.com> wrote in message
news:3D026567.3020003@animats.com...

> "longjmp" was too brutal, leaving all the intervening
> callers in ill-defined states, and LISP unwinding
> required a carefully constructed run time system.
>
Well, who the heck wants one of those?

---
[ comp.std.c++ is moderated.  To submit articles, try just posting with ]
[ your news-reader.  If that fails, use mailto:std-c++@ncar.ucar.edu    ]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://www.jamesd.demon.co.uk/csc/faq.html                       ]