例外が起きたときに、methodから呼び戻される場所をテーブルで管理する

2返戻値法のデメリットを解消

↑では、全ての関数に検査コードを追加していたがそれを避ける

2返戻値法のときのように、戻るときに「どこどこを経由して〜」などがなくなる

直接、一番上に戻る

この計算は静的検査時に決定できる

ざっくりEitherモナドの E の方で、呼び戻される番地が子に渡されていっているイメージを持った

参考

『コンパイラとバーチャルマシン』 p.119~