只能用lambdas和闭包来实现call-with-current-continuation？

Question

有没有人知道call/cc是否只能用lambdas和闭包实现？

似乎call/cc中断了程序的流程（就像异常一样），但lambdas和closures不能这样做。 因此我认为call/cc不能通过lambdas和closures实现。

还有什么想法吗？

Answer 1

问题并不是特别清楚，因为“只用lambdas和闭包实现”究竟是什么意思？

在任何情况下，continuation都可以在任何语言中使用闭包，方法是以连续传递方式手动编写。 然后可以通过扩展编译器来实现自动转换为此表单，Lisps通常允许在用户级别通过宏。 例如，请参阅cl-cont ，这是一个实现Common Lisp的延续的库，它是一种没有内置它们的语言。

如Scheme中的高效普遍延续可能会在直接处理程序堆栈的较低级别上实现，但这不是一个要求，只是一个优化。

Answer 2

在Scheme中，您可以在转换为延续传递样式（CPS）时使用lambdas实现call/cc 。 转换为CPS时，每次出现的call/cc都可以替换为以下等价物：

(lambda (f k) (f (lambda (v k0) (k v)) k))

其中k是要保存的连续符，并且(lambda (v k0) (kv))是恢复此连续的转义过程（无论在被调用时有效的连续k0被丢弃）。

所以，回答你对Scheme的问题：是的，可以做到。