scala - 尾递归和 scalaz promises

Question

我目前正在使用 Scalaz 非阻塞 future 。 promise 。我正在努力使以下函数尾递归:

@tailrec
private def repeat( res: Promise[I] ):Promise[I] =
  res map p flatMap { 
    (b:Boolean) =>
      if( b ) repeat( res flatMap f ) else res
  }

其中 p 是类型为 I=>Boolean 的谓词，f 是类型为输入 I=>Promise[I]。

该方法在没有注释的情况下编译。

有什么提示吗？谢谢

Answer 1

您的方法根本不是递归的。 res 是一个可能在另一个线程中运行的计算。 res map p flatMap f 将立即返回就您的方法而言的 promise 。 repeat 的重现将发生在不同的进程中。

用稍微更简洁的术语来说，Promise 是一个延续 monad，flatMap 调用会自动为您转换为延续传递样式。