Scala：解释了定界延续 - 不是答案

【问题标题】：Scala: Delimited Continuations Explained - NotScala：解释了定界延续 - 不是
【发布时间】：2012-02-09 13:27:23
【问题描述】：

对延续的概念感兴趣，我开始阅读维基、帖子，并来到这个“简单”的例子：

reset {
  ...
  shift { k: (Int=>Int) =>  // the continuation k will be the '_ + 1' below
    k(7)
  } + 1
}
// result: 8

如果不了解 Scala，我完全迷失了，无法弄清楚 8 是如何产生的。

以下是我试图找出含义但失败的方法。哪位大侠可以给我一个简短的解释吗？是的，有 Scala 语法书，但它们太厚了，我对理解定界延续概念比掌握 Scala 语言更感兴趣......

【问题讨论】：

您可能想看看this question 及其答案。
我认为，当您试图理解“不了解 Scala”的非平凡 Scala 代码时，您只会让这项任务变得更加困难。我建议您首先学习该语言的基础知识，例如语法。那里有很多books 和other resources。
你读过en.wikipedia.org/wiki/Continuations吗？
是的 Matthew，我的线程是 Continuation @ wiki => Delimited Continuation @ wiki（作为示例丢失）=> dcsobral.blogspot.com/2009/07/… => stackoverflow 在这里....但是谢谢你们，现在我得到了它。

【解决方案1】：

我发现 Chris League 的演讲“Monadologie：针对类型焦虑的专业帮助”(http://vimeo.com/13304075) 包含了分隔延续的更好示例之一。

【讨论】：

【解决方案2】：

fotNelton，非常感谢！ Alex Neth 在链接中的回答帮助了我。现在我想我明白了。让我回答我自己的问题，然后记下来。

reset 和 shift 的语法：

reset {
  ...
  shift { cf: (InputParameterType => OutpututParameterType) =>
     CodeBlockInsideShift
  } 
  CodeBlockAfterShiftBeforeEndOfReset
}

这实际上意味着，在 C# 风格的伪代码中：

public delegate OutpututParameterType CFDelegate(InputParameterType);

CFDelegate cf = CodeBlockAfterShiftBeforeEndOfReset;

CodeBlockInsideShift;

【讨论】：