我正试图在我的项目中开始使用免费的monad,我正在努力让它变得优雅.
假设我有两个上下文(实际上我有更多) – 收据和用户 – 都在数据库上进行操作,我想让他们的解释器分开并在最后一刻组成它们.
为此,我需要为每个操作定义不同的操作,并使用Coproduct将它们组合成一种类型.
这是我在谷歌搜索和阅读几天后所拥有的:
// Receipts
sealed trait ReceiptOp[A]
case class GetReceipt(id: String) extends ReceiptOp[Either[Error, ReceiptEntity]]
class ReceiptOps[F[_]](implicit I: Inject[ReceiptOp, F]) {
def getReceipt(id: String): Free[F, Either[Error, ReceiptEntity]] = Free.inject[ReceiptOp, F](GetReceipt(id))
}
object ReceiptOps {
implicit def receiptOps[F[_]](implicit I: Inject[ReceiptOp, F]): ReceiptOps[F] = new ReceiptOps[F]
}
// Users
sealed trait UserOp[A]
case class GetUser(id: String) extends UserOp[Either[Error, User]]
class UserOps[F[_]](implicit I: Inject[UserOp, F]) {
def getUser(id: String): Free[F, Either[Error, User]] = Free.inject[UserOp, F](GetUser(id))
}
object UserOps {
implicit def userOps[F[_]](implicit I: Inject[UserOp, F]): UserOps[F] = new UserOps[F]
}
当我想编写程序时,我可以这样做:
type ReceiptsApp[A] = Coproduct[ReceiptOp, UserOp, A]
type Program[A] = Free[ReceiptsApp, A]
def program(implicit RO: ReceiptOps[ReceiptsApp], UO: UserOps[ReceiptsApp]): Program[String] = {
import RO._, UO._
for {
// would like to have 'User' type here
user <- getUser("user_id")
receipt <- getReceipt("test " + user.isLeft) // user type is `Either[Error, User]`
} yield "some result"
}
这里的问题是,例如,用于理解的用户是[错误,用户]类型,可以理解查看getUser签名.
我想要的是用户类型或停止计算.
我知道我需要以某种方式使用EitherT monad变换器或FreeT,但经过几个小时的尝试后,我不知道如何组合这些类型以使其工作.
有人可以帮忙吗?
如果需要更多详细信息,请与我们联系.
我还在这里创建了一个最小的sbt项目,所以任何愿意提供帮助的人都可以运行它:https://github.com/Leonti/free-monad-experiment/blob/master/src/main/scala/example/FreeMonads.scala
干杯,
Leonti
最佳答案 Freek library实现了解决问题所需的所有机器:
type ReceiptsApp = ReceiptOp :|: UserOp :|: NilDSL
val PRG = DSL.Make[PRG]
def program: Program[String] =
for {
user <- getUser("user_id").freek[PRG]
receipt <- getReceipt("test " + user.isLeft).freek[PRG]
} yield "some result"
当你重新发现自己时,如果不经历副产品的复杂性,免费的monad和类似的东西是不可扩展的.如果您正在寻找一个优雅的解决方案,我建议你看看Tagless Final Interpreters.