2

我写了一个例子来使用 scalaz.Free 来将 Action 映射到 Future，它看起来很酷。但是，我试图了解它的好处。我希望我能在这里得到答案。这是我的代码片段

首先，我创建了一个 Action，即 AST。

trait Action[A]

case class GetNumberAction(x: Int) extends Action[Int]
case class GetStringAction(x: String) extends Action[String]
case class ConvertToIntAction(x: String) extends Action[Int]
case class AddAction(x: Int, y: Int) extends Action[Int]

然后，我创建了一个类，使用 Scalaz Free 和 Coyonda 将 Action 映射到 ASTMonad。

type Functor[A] = Coyoneda[Action, A]
type ASTMonad[A]= Free[Functor, A]

def toMonad[A](action: Action[A]): ASTMonad[A] = Free.liftFC[Action, A](action) 

object ADTMonad {
    def getNumber(x: Int): ASTMonad[Int] = toMonad(GetNumberAction(x))
    def getString(x: String): ASTMonad[String] = toMonad(GetStringAction(x))
    def converToInt(x: String): ASTMonad[Int] = toMonad(ConvertToIntAction(x))
    def add(x: Int, y: Int): ASTMonad[Int] = toMonad(AddAction(x, y))

}

最后，我创建了一个解释器来将 Action 解释为 Future

object Interpreter extends (Action ~> Future) {
    def apply[A](action: Action[A]): Future[A] = {
        action match {
            case GetNumberAction(x) => Future(x)
            case GetStringAction(x) => Future(x)
            case ConvertToIntAction(x) => Future(x.toInt)
            case AddAction(x, y) => Future(x + y)
        }
    }
}

当我运行它时，我可以使用

val chain =  for {
    number <- ASTMonad.getNumber(x)
    str <- ASTMonad.getString(y)
    convertedNumber <- ASTMonad.converToInt(str)
    total <- ASTMonad.add(number, convertedNumber)
    } yield total

chain.runWith(Interpreter)

它似乎有效，我想我理解这个单子和解释器的东西。但是，我在想如果我直接使用Future.flatmap和map与解决方案相比有什么好处？

for {
    number <- Future(x)
    str <- Future(y)
    convertedNumber <- Future(str.toInt)
    total <- Future(number + convertedNumber)
} yield total

使用 Future flatmap 和 map 的代码对我来说看起来更简单。那么回到我的问题，我们是否需要使用 Free monad 来将业务逻辑解释给 Future，因为 Future 已经提供了 flatMap 和 map。如果是这样，有人可以给我更具体的例子，所以我可以看到好处吗？

提前致谢

4

1 回答 1

0

使用免费应用程序的一个很好且有动机的例子是命令行解析器，我们称之为 type CLI[A]。

type 的值CLI[A]意味着A如果您提供命令行参数 ( Array[String]) 并且可以成功解析它们，您将获得一个值。现在，此功能与用于错误处理Array[String] -> Either[String,A]时是同构的。Either

因为你做了CLIapplicative，你可以map和apply（组合）值。例如，您可以创建一个Int参数count，另一个Int参数count2，并将它们组合成一个sum: CLI[Int]包含它们总和的 final。

假设您直接应用计算，这会产生“仅”相当于Array[String] -> Either[String,Int]. 但是如果你想创建一个帮助文本，你必须知道两个初始参数，而这些信息会丢失。

Free救援。Free您可以保留计算图，您可以使用它来提取直接从参数解析的所有初始值CLI。然后，您可以稍后sum通过提供所有初始参数的解析结果来运行产生最终值的计算。

当然，您可以实现一个特殊CLI的方法来跟踪计算中的所有初始值，但Free让我们避免这些额外的工作。

于 2015-12-13T20:56:31.427 回答