News for hackers. Stuff that matters.

A comment on Why Checked Exceptions Failed. Parent comment

Re:Why Checked Exceptions Failed by javajosh on Saturday July 15, 2023 @10:14AM (#36736955)
>with the handler being locally found in a parent’s (recursively) method body

Yeah, that doesn't sound disjoint /s

[ Parent | on HN ]
Re:Why Checked Exceptions Failed by kaba0 on Saturday July 15, 2023 @11:34AM (#36737736)
That’s the exact same thing as if you had a function call as the last statement in a functional call as a last statement, etc. Literally just popping off stackframes.
[ Parent | on HN ]
Re:Why Checked Exceptions Failed by javajosh on Saturday July 15, 2023 @12:33PM (#36738470)
Popping 1 stack is a normal return; popping N stacks is precisely what is meant by "no-local (or disjoint) transfer of control".
[ Parent | on HN ]
Re:Why Checked Exceptions Failed by kaba0 on Saturday July 15, 2023 @03:28PM (#36740139)
It pops one stack at a time only. It’s up to that function call to determine how to proceed further, the exact same way how it would happen with a last-call-chain I was talking about.
[ Parent | on HN ]