Schemeのcall / ccは、既知のすべての制御フロー構造を実装できますか？

「高度なスキーム：いたずらなビット」ページには次のように記載されています。

継続は、他のほぼすべての制御フロー構造[...]の派生元となる強力な制御 フロー構造です。

Scheme call/ccがPeter LandinのJ演算子に関連（*）しているため、既知の制御フロー構造を実装するために使用できると思いましたか？

「制御フロー構造」では、例外、コルーチン、グリーンスレッドなど、Wikipediaのそれらの記述について具体的に考えています。

具体的には、を使用して実装できない制御フロー構造の例はありますcall/ccか？

（*）call/ccJオペレーターほど強力な論文を作成することはできませんでした。 Felleisenの論文（私は読んでおらず、明らかにそれを完全に理解するのに問題がある）はこれを調査し、それらが異なる複雑さのクラスにあるにもかかわらず、形式的に同等であると結論付けているようです。

（以下のコメントに基づいて質問を更新したことにも注意してください）

更新

以下の@Neelの優れた回答に基づいて、区切られたおよび区切られていない継続についてコメントしているサイトを見ましたが、実際には、区切られていcall/ccないだけでは十分ではないようです。一方、一流の区切られた継続（などshift/reset）を使用して、制御フロー構造を表現することができます。

この回答では、「表現可能」とは、「プログラミング言語の表現力について」のFelleisen 1991の意味で「マクロ表現可能」を意味します。（直観的には、プログラム全体の変換を使用せずに、ローカルソース変換として定義できる場合、言語機能はマクロ表現可能です。）

この定義では、答えは「いいえ」です。区切り制御は、ラムダ計算+ call / ccでマクロ表現できません。call / ccを使用して、区切られた制御演算子を表現します。制御区切り記号（シフト/リセットのリセット部分）を実装するには、継続マークをシミュレートするための状態が必要です。基本的には、継続マークの動的な有効期間をシミュレートするためにスタックをエンコードします。

ただし、区切られた制御は、次の意味で普遍的な効果です。彼で博士論文、アンジェイFilinskiは、任意の発現副作用がいずれかの区切り継続、またはコール/ ccの状態の1つのセルを使用して符号化可能であることを示しました。大まかに言って、「表現可能な副作用」とは、プログラミング言語の型の観点からモナド型を定義できる任意の効果です。

驚くべきことに、このアイデアは実際には非常に興味深いようです。Gordon PlotkinとJohn Powerは、過去10年にわたって、効果理論の代数的セマンティクスを採用するというアイデアを提唱してきました。アイデアは、関心のある副作用操作と、それらが満たすと期待される方程式を指定することです。この理論を無料のモナドでとることにより、一般的にセマンティクスを取得できます。

Matija PretnarとAndrej Bauerは、この数学的なアプローチを採用し、Eff言語に実装して、「エフェクトハンドラー」と呼ばれる新しい言語構成を発明しました。命令型機能のセットを使用するコードを記述し、命令型機能にセマンティクスを与えることができます各効果的な操作を実装する方法を示すハンドラーのセットを記述します。