単語記事: 継続

• 概要
• 関連動画
• 関連項目
• 掲示板

継続、コンティニュエーションとは、プログラムフローのある時点における実行文脈に対してその未来図全体のことをいう。要は「to be continued(続く)……」で表される全部。

概要

「俺、この戦いが終ったら結婚するんだ」

 といった場合、「この戦い」というのが目下進行中の現在の文脈であり、その終了を待つ「継続」は

• 郷里で彼女と結婚し
• 薔薇色の新婚時代を過ごし
• 倦怠期を迎えて愛の疲弊を感じ
• 「理想の女性は？」と聞かれて「妻です……出会った頃の」と答え
• 飲み屋で青年を捕まえて「君、結婚とは人生の墓場だよ」と説教し

etc...

といった一連の未来図全体にあたる。

これが何の役に立つかというと、プログラム上で適当な継続を「認識」し、ある種のラベル、チェックポイントとして利用することができるわけである。

基本的に、プログラムをどのタイミングでスライスしても「来るべき次の継続」というのは存在するのだが、何も考えずに取り出した所で神話時代のgotoが黒魔術で蘇るだけなので余り意味はない。ダイクストラやクヌース以降を生きる我々進歩的文明人類としては、「それ」を飼いならし、去勢し、真の名をもてしばりつける必要がある。そこで用いられるマントラが「call-with-current-continuation」、通称「call/cc」である。

 call/ccを唱えると、処理系はまずその瞬間における継続を一引数関数の形に加工する。カリー化を知っているとイメージしやすいと思うが、プログラム列を仮想的に1-in/1-out手続きのパイプラインと見た時、どの出力も必ずそれを待つ次の入力につながっている。つまりバトンを渡すべき次走者を、その瞬間の継続(の入り口)と捉えるわけである。上の例なら

 proc := 未来図なう(俺)

といった感じだろうか。

 これを実際どう使うのかは大変なのでここでは書かないが(http://practical-scheme.net/wiliki/wiliki.cgi?Schemeの継続周りの記事がオススメ)、このprocを使うと中間過程をキングクリムゾンして、結果が出ればよかろうなプログラムが書ける。また変数に束縛してやると時空をねじ曲げたプログラムフローを作ることもでき、うまく立ち回るとロジックを自由に簡潔に書きたい形で書ける(もちろんスパゲティをゆでることもできる。グレンキャノンもだ！)

関連動画

継続に関するニコニコ動画の動画を……ないよね。

関連項目

• プログラミング関連用語の一覧

ページ番号: 4570880 リビジョン番号: 1082639
読み：ケイゾク
初版作成日: 11/02/20 13:21 ◆ 最終更新日: 11/02/20 13:21
編集内容についての説明/コメント: 書いてみた
記事編集 / 編集履歴を閲覧 / Twitterで紹介