Question

我想使用IO monad。

但是此代码不能与大文件一起运行。我收到了StackOverflowError。我尝试了-DXss选项，但它会抛出相同的错误。

val main = for {
  l <- getFileLines(file)(collect[String, List]).map(_.run)
  _ <- l.traverse_(putStrLn)
} yield ()

我该怎么做？

我写了输出所有元素的Iteratee。

def putStrLn[E: Show]: IterV[E, IO[Unit]] = {
  import IterV._
  def step(i: IO[Unit])(input: Input[E]): IterV[E, IO[Unit]] =
    input(el = e => Cont(step(i >|> effects.putStrLn(e.shows))),
      empty = Cont(step(i)),
          eof = Done(i, EOF[E]))
  Cont(step(mzero[IO[Unit]]))
}
val main = for {
  i <- getFileLines(file)(putStrLn).map(_.run)
} yield i.unsafePerformIO

这也是同样的结果。

我认为是由IO实施引起的。

Answer 1

这是因为 scalac 没有针对尾部调用优化getReaderLines内的loop。 loop是尾递归的，但我认为case匿名函数语法会妨碍。

编辑：实际上它甚至不是尾递归（IO monad中的包装）在递归调用之后至少再引发一次调用。当我昨天进行测试时，我使用了类似的代码，但是我已经删除了IO monad，然后可以使Iteratee尾部递归。假设没有IO monad ......

我昨天在试验迭代时碰巧发现了这一点。我认为将loop的签名更改为此会有所帮助（因此暂时您可能需要重新实现getFilesLines和getReaderLines：

@annotations.tailrec
def loop(it: IterV[String, A]): IO[IterV[String, A]] = it match {
  // ...
}

我们应该向scalaz民众报告（并且可能会开放scala的增强票）。

这表明会发生什么（代码与getReaderLines.loop模糊地相似）：

@annotation.tailrec
def f(i: Int): Int = i match {
  case 0 => 0
  case x => f(x - 1)
}
// f: (i: Int)Int

@annotation.tailrec
def g: Int => Int = {
  case 0 => 0
  case x => g(x - 1)
}
/* error: could not optimize @tailrec annotated method g: 
it contains a recursive call not in tail position
       def g: Int => Int = {
                           ^
*/

Scalaz的traverse_与IO monad

1 个答案: