Re: Problems with SPARK 2015 and XMLAda

["Randy Brukardt" <randy@rrsoftware.com>]

<Stefan.Lucks@uni-weimar.de> wrote in message 
news:alpine.DEB.2.20.1508210948320.23241@debian...
...
> I doubt this makes any observable difference. The legitimate examples for
> exceptions that "signal things that cannot be known at compile time" (as
> Randy wrote) are usually related to input-output operations.

You really should say "external environment" rather than I/O. Anything that 
the target OS (or hardware!) provides is in that category -- environment 
variables (what if some other program adds/deletes a variable?), command 
lines, memory management (allocating too much memory), clocks, GUI (what if 
the user of the program manually closes a window? That can happen at any 
time.)

Not all of these things are slow in the sense of external I/O devices. The 
difference between exceptions and error codes (particularly as keeping OS 
error codes task safe adds an expense) may be more significant.

(But clearly the main issues are readability, locality, and the requirement 
to handle them.)

                                 Randy.