Scheme的call / cc可以实现所有已知的控制流结构吗？

页面“高级方案：有些顽皮”指出：

延续是一个强大的控制流构造，几乎可以从 任何其他控制流结构中得出。

我以为Scheme的call/cc（*）与Peter Landin的J运算符相关，可以用于实现任何已知的控制流结构？

对于“控制流结构”，我特别考虑了Wikipedia对它们的描述，例如，异常，协程，绿色线程等。

具体来说，有没有使用不能实现的控制流结构的示例call/cc？

（*）我无法挖掘出任何可以证明call/cc像J运算符一样强大的论文。 Felleisen的一篇论文（我还没有读过，并且承认很难完全理解它）对此进行了调查，似乎可以得出结论，即使它们处于不同的复杂性类别中，它们在形式上也是等效的。

（还请注意，我已根据以下评论更新了问题）

更新资料

基于下面@Neel的出色回答，我看了一些评论定界和不定界延续的网站，确实看来，尽管call/cc不定界是不够的。同时，第一级，分隔延续（像shift/reset）可以被使用，似乎表达任何控制流结构。

在这个答案中，我将Felleisen 1991 年在“编程语言的表达能力”的意义上将“可表达的”理解为“宏可表达的” 。（直观上，如果您可以将语言功能定义为本地源转换，而无需使用整个程序转换，则该语言功能是宏可表示的。）

使用此定义，答案是否定的：定界控件在lambda微积分+ call / cc中不是宏可表达的。用call / cc表示定界控制运算符。为了实现控制定界符（移位/重置的重置部分），您需要某种状态来模拟连续标记，本质上是对堆栈进行编码以模拟连续标记的动态寿命。

但是，在以下意义上，定界控制是普遍的效果。在他的博士论文，安德烈Filinski表明，任何可表达的副作用是可编码的使用任一分隔延续，或呼叫/立方厘米和状态的一个单元格。粗略地说，“可表达的副作用”是指其单调类型可以根据编程语言的类型定义的任何效果。

令人惊讶的是，这种想法在实践中似乎很有趣。在过去的十年中，戈登·普洛特金（Gordon Plotkin）和约翰·鲍尔（John Power）提倡采用效应理论的代数语义的思想：该思想是指定感兴趣的副作用运算，以及期望它们满足的方程，然后您可以通过采用免费的monad来获得该语义的一般含义。

Matija Pretnar和Andrej Bauer采用了这种数学方法，然后以其Eff语言实现了这种方法，从而发明了一种新的语言结构，称为“效果处理程序”：您可以编写使用一组命令性功能的代码，然后为命令性功能赋予语义通过编写一组处理程序，说明如何实现每个有效操作。