SASADA Koichi <ko1 atdot.net> writes:

> 　これに、こいつ自身に継続情報も詰め込んじゃおうかなあ、とか
> 考えてるんですが、そうすると本当にどうなるかはちょっとわかり
> ません。なんか出来そうな気もするんですが、やっぱりよくわから
> ないな。

Procと継続は別だと思うけど...
まあ、継続はProcのサブクラスと考えることもできるかも知れないが。

> 　で、なんでそんな無謀なことをしようとしてるかというと、

以下は、良く分かりませんでした。文章で説明されても頭が追い付かないかも。

この辺の古典は:

スパゲティスタック: (環境フレーム、制御フレームが、木構造をなすような
  スタックをどう実装するか。フレームに参照カウントつけたり、ときどきコ
  ンパクションしたり。)
  Bobrow, D.G., and Wegbreit, B. A model and stack implementation of
  multiple environments. Comm. ACM 16, 10 (Oct. 1973), 591-603.

マカロニスタック: (制御フレームは別のスタックにすると、ずっと効率が良
  くなるという話。)
  Guy Lewis Steele Jr., Macaroni is better than spaghetti. In Proceedings
  of the Symposium on Artificial Intelligence and Programming Languages,
  pages 60--66. Also published as SIGPLAN Notices 12(8) and SIGART
  Newsletter 64, August 1977.

ファントムスタック: (たいていはスタックなんだけど、「解放しちゃいけ
ない」ばあいはGCに切替えるようなデータ構造。)
  Richard M. Stallman, Phantom Stacks: if you look too hard, they aren't
  there, MIT AI Memo 556 (1980)
  http://citeseer.ist.psu.edu/stallman80phantom.html

Cheney on the M.T.A.: (データは全部スタック内に割り付けちゃう。スタック
  は伸びる一方で、いっぱいになったらGC。Cでポータブルに末尾再帰を実装可。)
  Baker, H. G.: 1994, `CONS Should Not CONS Its Arguments, Part II:
  Cheney on the M.T.A.'. http://citeseer.ist.psu.edu/baker94cons.html

フレームをスタックでなくヒープに割り付けた方が速いという主張
  Andrew W. Appel. Garbage collection can be faster than stack
   allocation. Information Processing Letters, 25(4):275--279, June
   1987. http://citeseer.ist.psu.edu/appel87garbage.html

上への反論
  James S. Miller and Guillermo J. Rozas, Garbage Collection is Fast,
  but a Stack is Faster, MIT AI MEMO-1462, 1994
  http://citeseer.ist.psu.edu/miller94garbage.html

あたりかなあ。

				前田敦司

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