Scala：分隔延续解释 - 不

Question

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

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

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

以下是我试图弄清楚其含义但失败的方法。有谁能给我一个简短的解释吗？是的，有 Scala 语法书，但它们太厚了，我对理解定界延续概念比掌握 Scala 语言更感兴趣......

• (Int=>Int)

  看起来像一个 C# 委托，输入是 Int，输出是 Int。

• <代码>k: (Int=>Int) => k(7)

  我在这里迷路了...... k 是什么，(Int=>Int)=>k(7) 是什么？

• shift { k: (Int=>Int) =>; k(7) } + 1

  更多的迷失...

• 重置 { ...;移位 { k: (Int=>Int) => k(7) } + 1 }

  甚至越来越迷失...

Answer 1

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

Answer 2

内尔顿，非常感谢！ Alex Neth 在链接中的回答帮助了我。现在我想我明白了。让我回答我自己的问题，作为注释。

Reset和Shift的语法：

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

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

public delegate OutpututParameterType CFDelegate(InputParameterType);

CFDelegate cf = CodeBlockAfterShiftBeforeEndOfReset;

CodeBlockInsideShift;