News for hackers. Stuff that matters.

A comment on Exceptions (2003). Parent comment

Re:Exceptions (2003) by beagle3 on Monday September 02, 2013 @06:30AM (#6314452)
Completely agree with the gist of what you are saying, but exceptions are MORE than just a sum/product/extended value type: They are a non-local return. You're obviously aware of that, from the Java comment, but seem to consider that fact an implementation issue of Java, whereas most people consider this a defining attribute of exceptions.
[ Parent | on HN ]
Re:Exceptions (2003) by mindslight on Monday September 02, 2013 @03:33PM (#6316714)
They're restricted to only escaping currently active stack frames, not jumping anywhere like full continuations. They're basically equivalent to having a default cascade of

    if (ret == -1) return -1;
after every function invocation, which is why I was calling that aspect a syntactic feature.

It's this implicit return after every function that trips people up (when prematurely exiting from stateful computation). So what I was saying that making the call of an exception-throwing function (slightly) more verbose would alleviate that and pay for the complexity where it was used.

[ Parent | on HN ]