如何将'scalaz.FreeT'运行到非堆栈安全monad中？
我正试着把我的头绕在免费的单子（和变形金刚）上。我已经能够使用如何将'scalaz.FreeT'运行到非堆栈安全monad中？,scala,scalaz,Scala,Scalaz,我正试着把我的头绕在免费的单子（和变形金刚）上。我已经能够使用scalaz.FreeT和一个解释器构建我自己的免费monad，该解释器将它运行到一个看似任意的monad中，首先天真地提升到目标monad中，然后运行免费monad，如下所示： import scalaz._ import Scalaz._ type MyCoolMonad[A] = FreeT[SomeFunctor, Id, A] type ResultMonad[A] = ??? // for example Id[A] d
scalaz.FreeTimport scalaz._
import Scalaz._
type MyCoolMonad[A] = FreeT[SomeFunctor, Id, A]
type ResultMonad[A] = ??? // for example Id[A]
def id2monadNT[R[_]: Monad]: (id ~> R) = {
override def apply[A](fa: A) = fa.point[R]
} // for hoisting
val myInterpreter = new (SomeFunctor ~> ResultMonad) {
override def apply[A](fa: SomeFuntor[A]) = {...} // the meat is here
}
def runCoolMonad[A](m: MyCoolMonad[A]) =
m.hoistN(id2monadNT[R]).runM(myInterpreter.apply)
.runMResultMonadBindRecResultMonadscala.concurrent.FutureFuture.flatMapFutures旁注：我知道存在
scalaz.concurrent.Taskscala.concurrent.FutureFreeT[SomeFunctor，Id，A]free[SomeFunctor，A]SomeFunctor~>FutureFree[SomeFunctor，A]Future[A]FreeTFreeFreeTscalazFreeFreeTFreeTscala.concurrent.FutureBindRecimplicit def futureBindRec: BindRec[Future] = new BindRec[Future] {
def tailrecM[A, B](f: A => Future[A \/ B])(a: A): Future[B] =
f(a) flatMap {
case -\/(a1) => tailrecM(f)(a1)
case \/-(b) => Future(b)
}
def map...
def bind...
}
如果
Future#flatMap（f）fFutureBindRec[Future]FreeTBindRecFreeT[S，M，A]FreeT[S，Free[M，A]Free[M，A]MFreeT