From: kjana@... (YANAGAWA Kazuhisa)
Date: 1999-01-05T03:55:13+09:00
Subject: [ruby-list:11498] Re: call/cc (Re: goto)

あけました．おめでとうございました．....(^^;

In message <199812291024.TAA00596@green.color.or.jp>
shugo@aianet.ne.jp (Shugo Maeda) writes:

> ということは、仕様/実装の方針がきちんと決まれば、採用される
> 可能性があるということでしょうか:-)
> 実はcall/cc自体をよく知らなかったりするので(^^;、勉強しときます。

    1. call-with-current-continuation の略．

    2. 「計算中の状態」を閉じ込めたもの．

ex.

guile> (define call/cc call-with-current-continuation)
guile> (define foo #t)
guile> (begin
        (write 1)
        (write 2)
        (call/cc (lambda (c) (set! foo c)))
        (write 3)
        (write 4))
1234guile> foo
#<continuation 901 @ 85000>
guile> (foo #t)
34guile> 

       # ちょっと前の『情報処理』のプログラミング言語特集号の Scheme
       # の記事にもっとましな説明があります．いつのだったかな．

    3. （ML のような）例外と call/cc とでは同等の表現力を持つ，という
       論文をみたような．

       # 1995 か 1996 の ACM Computing Survey?

    4. SML/NJ なんかは例外と continuation の両方を持っている．

       # バイトコードコンパイラだから実装の参考にはならない?

    5. C でライブラリレベルで continuation を実装してみた，とかいう話
       が一昨年の SWoPP の発表であったなぁ．

       # そうか，多田先生は偉い人だったのか．変な人じゃなかったんだな (^^;

    6. もとは actor モデルの話らしい．文字通り，
       「メッセージの送り先 == 計算の続き」．

....どっちかというと，雑学知識になってしまうあたりが，弱い．

===========================================================================
  柳川和久 @ 東大阪市 . 大阪府
  kjana@os.xaxon.ne.jp                                    January 5, 1999
「あんたの友達に
    透明人間とか空飛べるのとか食べられる友達とかっていないの?」
「いない!」 << 毛が逆立ってる