限定継続
継続は、一度呼び出されると元のところに戻ってこない 未来永劫の計算を全て取ってくる
そのため、扱いづらい
限定継続は、ある区切りのところまで処理を進めた後に、呼び出し元に戻る
未来永劫ではなく、扱う未来を限定している
https://gyazo.com/eda8463f13076f594e6a7b578ec4ac5f
限定継続を取ってくる命令など
これら2つの関数はペアで使用される
個々のペアごとに型付けのしやすさなどの扱いやすさが異なるらしい
限定継続を使える言語の例
primitiveな機能として提供されている
Haskell
関連
参考
めちゃくちゃわかりやすい
図解
@lotz84_: GHCの次のバージョンから採用される限定継続のプリミティブを使って Algebraic Effects のライブラリを1から作るチュートリアル的な記事。限定継続の使い方が参考になりそう📝／ From delimited continuations to algebraic effects in Haskell