[J3] [EXTERNAL] Re: Exception handling - Golang proposal

[Van Snyder]

On Wed, 2019-07-24 at 14:46 -0600, Ondřej Čertík via J3 wrote:
> As the Golang proposal mentions, it might not be worth doing, but I
> think it's a clean solution that would not preclude the compiler from
> doing optimizations, which many of the traditional exception
> mechanisms would. And so it is worth considering the Pros and Cons.

I keep hearing the opinion that block-structured exception handling
interferes with optimization.  My contacts in the Ada community say
that's nonsense.  Maybe developers of other languages' compilers just
haven't figured it out.

If the semantic description of block-structured exception handling in
the standard for some language inevitably results in optimization
problems, I'd be interested to know what those specifications are,
rather than vague handwaving -- that has been contradicted by people who
have done it well.