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# 委托(delegate)，输入是 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 ) 包含分隔延续的更好示例之一。