継続とコルーチンの理論（call/ccと一級継続)

継続とは「実行の残り全体」を指す値

プログラムのある実行点に立ったとき、そこから先にやり残している計算のすべてを一つの関数とみなしたものが**継続(continuation)**です。1 + f(x) * 2 を評価していて、いま f(x) を呼ぶ直前だとします。このとき f(x) の継続は「返ってきた値を 2 倍し、1 を足し、その結果をプログラム全体の戻り先へ渡す」という残り処理の総体です。

通常、この「続き」はコールスタックに暗黙のうちに積まれています。関数から return するとは、現在の継続を呼び出すことの言い換えにすぎません。継続の理論が面白いのは、この暗黙の続きを第一級の値として取り出せると仮定したとき、何が表現できるようになるかという点にあります。捕まえて変数に入れ、保存し、好きなタイミングで呼べる継続を**一級継続(first-class continuation)**と呼びます。

call/cc：現在の継続を関数として手に入れる

一級継続を言語機能として与える代表が、Scheme の call/cc（call-with-current-continuation の略称）です。call/cc は引数として関数 f を一つ取り、いまこの瞬間の継続を関数 k に包んで f に渡します。

(+ 1 (call/cc
       (lambda (k)
         (k 10)      ; k を呼ぶと call/cc 全体が 10 を返したことになる
         20)))       ; k を呼んだので、ここには到達しない
;; 結果は 11

k は「call/cc の式が値を返した後の残り計算」、すなわち「その値に 1 を足す」を包んだ継続です。(k 10) を呼ぶと、call/cc 全体がその場で 10 を返したかのように振る舞い、続きが走って 11 になります。k を呼ばなければ call/cc は本体の最後の式 20 を返し、結果は 21 になります。

決定的なのは、k を呼ぶと制御が call/cc の捕捉地点へ飛び戻る点です。普通の関数呼び出しが「呼んで、戻ってくる」のに対し、継続の呼び出しは「呼んで、二度と戻らない」。k を呼んだ後の 20 に到達しないのはこのためです。継続を呼ぶ行為は return でも例外でもなく、実行コンテキストそのものの差し替えだと捉えると正確です。

脱出・例外・再開を一つの原理で説明する

一級継続が強力なのは、言語に組み込みの制御構文として現れる制御の飛びを、すべて「捕まえた継続を呼ぶ／呼ばない」で説明できるからです。

下に向かう一方向の飛び（脱出・例外）は、捕まえた継続を一度だけ呼ぶ使い方に対応します。これは脱出先より外側へ飛ぶだけなので、多くの言語が return・break・例外として直接備えています。継続の真価が出るのは、同じ継続を何度も呼ぶ使い方です。探索木の分岐点で取った継続を保存し、行き止まりに当たるたびに呼び直せば、バックトラックが言語機能なしで書けます。捕まえた継続を「再開可能なチェックポイント」として何度でも復元できる点が、return や例外処理との根本的な違いです。

;; 成功継続 k で「分岐の選択肢」を後から呼び直す擬似コード
choose(options, k):
  for opt in options:
    save k together with opt as a resumable point   ; 後で復元できるよう退避
  k(first option)                                   ; まず先頭で続きを走らせる
;; 行き止まりに来たら、退避した次の選択肢の地点へ k を呼び直す

なぜ非限定の call/cc は扱いにくいのか

call/cc が捕まえる継続は「プログラム末尾までの残り全部」です。これを**非限定継続(undelimited continuation)**と呼びます。範囲が無制限であることは、理論上は最も一般的ですが、実用上は二つの難点を生みます。

第一に、継続が値を返さないことです。捕まえた k を呼ぶとプログラム末尾まで一気に走ってしまうため、k を「途中まで計算して値を返す部品」として合成できません。第二に、副作用との相互作用が直感に反することです。同じ継続を複数回呼べば、その間の入出力や状態変更が再実行されかねません。

限定継続：区切りまでの「続き」を値として切り出す

そこで実用上の主役となるのが**限定継続(delimited continuation / 部分継続)です。プログラム末尾までではなく、あらかじめ置いた区切り(prompt)**までの残り計算だけを切り出します。代表的な演算子が reset（区切りを置く）と shift（区切りまでの継続を捕まえる）の対です。

;; reset が区切り、shift が「reset までの継続 k」を捕まえる
reset:
  1 + shift(k => k(k(5)))   ; k は「受け取った値に 1 を足す」だけ（reset まで）
;; k(5) = 6、k(6) = 7 → reset 全体は 7

ここで k は「与えられた値に 1 を足して reset まで返す」関数です。継続が reset で区切られているため、k は普通の関数のように値を返し、k(k(5)) のように合成できます。これが非限定継続との決定的な差です。限定継続は「途中まで計算し、値を返す再利用可能な部品」になるため、return 相当の使い勝手で制御を組み立てられます。

限定継続とコルーチン／ジェネレータの等価性

限定継続がコルーチンやジェネレータと結びつくのは、yield が本質的に限定継続の捕捉と保存だからです。ジェネレータが yield v を実行する瞬間に起きることを継続で書き下すと、こうなります。値 v を呼び出し側へ渡しつつ、yield 以降の「自分の残り計算」を限定継続として保存し、いったん呼び出し側へ制御を返す。次に呼び出し側が next() で再開すると、保存しておいた継続が呼び戻され、yield の直後から実行が続く。

この対応は理論にとどまりません。限定継続を備える言語では、ジェネレータやコルーチンをライブラリとして実装できます。reset でコルーチン本体を囲み、yield を「shift で残りの継続を捕まえてスケジューラへ渡す」操作として定義すれば、言語コアに yield 構文が無くても協調的な中断・再開が成立します。逆に言えば、多くの言語が組み込みで持つジェネレータは、限定継続という一般理論の特殊化です。

直接スタイルの裏で動く同じ機械

ここまでを整理すると、継続は「実行の残り全体を値として捕まえ、好きなときに呼ぶ」という単一の発想で、脱出・例外・コルーチン・バックトラックを貫いて説明します。非限定継続(call/cc)は最も一般的だが重く戻り値も持たない。限定継続(shift/reset)は区切りまでに絞ることで、継続を合成・再利用できる実用的な部品に変え、ジェネレータやコルーチンの yield/resume を直接表現します。

実務で call/cc を直に書く機会はまれですが、私たちが日々使う return・例外・yield・async/await の裏には、例外なくこの「継続を捕まえて呼び直す」機械が動いています。実際、コンパイラが継続渡しスタイルへ変換してから制御フローを実装する設計は珍しくありません。継続の理論は、CPS変換を経て、async/awaitとコルーチンの内部実装が状態機械で中断・再開を実現する仕組みと地続きです。直接スタイルで書くコードを「暗黙の継続が走っている」と読み替えられるようになると、非同期もコルーチンも一本の線で見通せます。