Сочетание различных вложенных монад в понимании

Question

Как объединить Future[A] и Future[Option[A]] в одном for -познании? Следующий фрагмент работает, но выглядит уродливым, есть ли лучший способ?

def getOne: Future[Int] = Future.value(1) 

    def getSomeOne: Future[Option[Int]] = Future.value(Some(1)) 

    def main(args: Array[String]): Unit = { 
    val sum = for { 
     y <- OptionT(getOne.map(Some(_)).asInstanceOf[Future[Option[Int]]]) 
     x <- OptionT(getSomeOne) 
    } yield x + y 

    println(Await.result { sum.run }) 
    } 

Answer 1

OptionT(getOne.map(Option(_)) работает для меня без кастингов. Проблема с вашим кодом заключается в том, что тип Some равен Some не вариант.

Использования будущего Скала:

scala> :paste 
(for { 
    y <- OptionT(getOne.map(Option(_))) 
    x <- OptionT(getSomeOne) 
} yield x + y).run 
res14: scala.concurrent.Future[Option[Int]] = List() 

scala> Await.result(res14, duration.Duration.Inf) 
res16: Option[Int] = Some(2) 

(не знает, почему это список печати() для неисполненного будущего, может быть РЕПЛА вещь?)