[ruby-dev:4113] Re: call/cc

まつもと ゆきひろです

In message "[ruby-dev:4112] Re: call/cc"
    on 99/01/12, [e-mail] <[e-mail]> writes:

|前田@リコーです。
|
|一度ruby-devにメールしたら自動的に加わってしまったみたいです。

ruby-list,ruby-devはそういう仕様になってます．なぜかruby-ext
とruby-talkは確認を取るんですけど．

|私はcall/ccって処理系デザインのかなり初期から意識しないとできない
|と思っていたので、rubyでcontinuationが使えるようになっちゃってい
|るみたいなのはびっくり仰天です。

まあ，schemeも最初からcall/ccがあったわけではないようですし，
それになによりOSレベルではcall/ccが提供されてないんで，結局
実装はsetjmp類似に還元されるので，実装できることにはそんなに
びっくりしなかったんですけど，ヒントを出して一晩で試作してし
まう前田(修吾)さんには私も「びっくり仰天」です．

彼が私を驚かせるのは demi や mod_ruby の試作など初めてではな
いですが．

|「setjmp/longjmpで実現」というより、最初っからすべての計算は
|continuationベースで行うように実装すると、setjmp/longjmpは必要な
|くなると理解していたんですが、なにせ私のcontinuationの知識も、大
|学のプログラミング入門コースのレベルなものでして(笑)。

それは真です．が，Rubyにはもともとsetjmp/longjmpはないですか
らね．setjmp/longjmpってのはそのCレベルでの実装って話ですね．

|continuationベースになるようにruby 2をデザインするとか。いや、そ
|れならguileの上にrubyを作ればいいのか?

Ruby 2ってのは今と大差ない言語が予約されてます．次の大きな変
更はRuby 3になるでしょうね．が，guileベースってのはちょっと…．

                                まつもと ゆきひろ /:|)