使用 Scala 延续实现收益（收益回报）

如何实现 C#yield return使用 Scala 延续？我希望能够编写 ScalaIterator风格相同。评论里有刺这篇 Scala 新闻文章 http://www.scala-lang.org/node/2096，但它不起作用（尝试使用 Scala 2.8.0 beta）。答案在一个相关问题 https://stackoverflow.com/questions/1655738/does-scala-have-an-equivalent-to-c-yield建议这是可能的，但是尽管我已经使用分隔延续一段时间了，但我似乎无法完全理解如何做到这一点。

在引入延续之前，我们需要构建一些基础设施。 下面是一个蹦床 http://blog.richdougherty.com/2009/04/tail-calls-tailrec-and-trampolines.html运行于Iteration对象。 迭代是一种计算，可以Yield一个新的值或者它可以是Done.

sealed trait Iteration[+R]
case class Yield[+R](result: R, next: () => Iteration[R]) extends Iteration[R]
case object Done extends Iteration[Nothing]

def trampoline[R](body: => Iteration[R]): Iterator[R] = {
  def loop(thunk: () => Iteration[R]): Stream[R] = {
    thunk.apply match {
      case Yield(result, next) => Stream.cons(result, loop(next))
      case Done => Stream.empty
    }
  }
  loop(() => body).iterator
}

蹦床使用一个内部循环来转动序列Iteration物体变成Stream。 然后我们得到一个Iterator通过致电iterator在生成的流对象上。 通过使用Stream我们的评价是懒惰的；在需要之前我们不会评估下一次迭代。

蹦床可以用来直接构建迭代器。

val itr1 = trampoline {
  Yield(1, () => Yield(2, () => Yield(3, () => Done)))
}

for (i <- itr1) { println(i) }

这写起来非常可怕，所以让我们使用分隔延续来创建我们的Iteration自动对象。

我们使用shift and reset运算符将计算分解为Iterations, 然后使用trampoline转动Iteration变成一个Iterator.

import scala.continuations._
import scala.continuations.ControlContext.{shift,reset}

def iterator[R](body: => Unit @cps[Iteration[R],Iteration[R]]): Iterator[R] =
  trampoline {
    reset[Iteration[R],Iteration[R]] { body ; Done }
  }

def yld[R](result: R): Unit @cps[Iteration[R],Iteration[R]] =
  shift((k: Unit => Iteration[R]) => Yield(result, () => k(())))

现在我们可以重写我们的示例。

val itr2 = iterator[Int] {
  yld(1)
  yld(2)
  yld(3)
}

for (i <- itr2) { println(i) }

好多了！

现在这是一个来自C# 参考页 http://msdn.microsoft.com/en-us/library/9k7k7cf0.aspx for yield这显示了一些更高级的用法。 这些类型可能有点难以适应，但是一切都有效。

def power(number: Int, exponent: Int): Iterator[Int] = iterator[Int] {
  def loop(result: Int, counter: Int): Unit @cps[Iteration[Int],Iteration[Int]] = {
    if (counter < exponent) {
      yld(result)
      loop(result * number, counter + 1)
    }
  }
  loop(number, 0)
}

for (i <- power(2, 8)) { println(i) }