CPS（継続渡しスタイル） とは？

Continuation-Passing Styleで、継続渡しスタイルと呼ぶよ。継続は、計算の結果を受け取ってその後を進める処理。関数へ、その続きも引数として渡すんだ。

例えば通常の形では、1を足した値をreturnで返し、呼び出し元が使うよ。CPSの形なら、addOne(x, k)がk(x + 1)を呼ぶ。ここでkが、答えを受け取る継続なんだ。どちらも計算する値は同じだけれど、続け方の表現が違うね。

コールバックは、別の処理に呼んでもらう関数を渡す仕組み。CPSではそれを、計算の続きを表すために使うよ。イベント通知などのコールバックを全部CPSと呼ぶわけではないし、深く入れ子になっているだけでも判定できないんだ。

ならないよ。今のaddOneの例は、その場でkを呼ぶ同期処理として書ける。非同期処理にも使えるけれど、継続を渡すことと、別のタイミングで実行することは分けて考えよう。async/awaitの実装が必ず同じCPS変換、という意味でもないんだ。

処理の行き先を明示する中間表現の一つとして使えるよ。通常の続きと例外時の続きを別々に渡す、といった制御も表現できる。末尾呼び出しの形にできても、実行時のスタックが自動で減るかは、変換方法や実行環境に依存するね。