Scala：用于理解递归未来

Question

任务是实现递归方法，返回 Future

def recursive (result:List[Result], attempt: Int):Future[Seq[Result]] = attempt match {
   case a if a < 3 => { 
       for {
            res <- retrive()
           } yield {
               if ((result:::res).size > 20) res
               else recursive (result:::res, attempt + 1)          
           }
   }
   case => Future(Seq.empty)
}

并且由于这一部分（"在其他递归（结果::： res，尝试1）"）代码失败与错误，因为它期望未来[Seq[结果]]，但实际上返回未来[对象]。

据我所知，问题在于yield块内的表达式必须返回Seq[Result]，以便将来由Monad进行后续包装。但是“递归（结果：：res，尝试1）”将返回未来。因此，不是预期的Seq[Result]收益率，而是包含未来的[Seq[Result]]。

它有什么办法可以解决这个问题吗？

Answer 1

诀窍是将在终端情况下返回的值包装到未来，以便两种情况下的类型都匹配。

在这里你真的不需要一个for-comprehension，在我看来没有它会读得更好:

   retrieve.flatMap { 
      case r if r.size + result.size > 20 => Future.successful(result:::r) // you are not prepending result in your snippet, I think, it's a bug ...
      case r => recursive (result:::r, attempt + 1)  
   }

如果您由于某种原因偏向于理解，您仍然可以使用它，只需要将大部分收益子句移到 for 中：

    for {
       res <- retrieve()
       out <- if (res.size() + result.size() > 20) Future.successful(result:::res) 
              else recursive (result:::res, attempt + 1) 
     } yield out