SASADA Koichi <ko1 atdot.net> writes:

> 　それで出来ることはわかっているんですが，その「ユニークな何か」
> を積むための空間的，時間的コスト，どちらかというと一個フレーム
> に一個積むときの，その時間的コストですか．そいつが嫌です．

全メソッドで必ず積む必要はなくて、「メソッド内のブロックの中からreturn
を呼んでいるメソッド」だけでやれば良いんだけど。
  def m ...
    ...
      { return }
  end
は、あたかも
  def m ...
    catch(unique-tag) {
      { throw unique-tag }
    }
  end
のようにコンパイルする。

> 　今のところ，Java風の例外テーブルによる管理でうまくいっている
> ので，そいつ（Orphan からの return を「エラーにする」）のため
> だけに何か積む方法にするのは嫌だなぁ，と考えています．

ふうむ。コードの範囲はスタティックな情報だけれども、あるメソッドの「あ
る回の呼びだし」が終了したかどうかというのは、静的なデータで表しようの
ない情報だから、仕方がないと思うけど。

				前田敦司

--
ML: yarv-dev quickml.atdot.net
使い方: http://www.atdot.net/~ko1/quickml