在Scala中的免费Monad中堆叠单体效果

发布时间：2020-12-16 09:38:58 所属栏目：安全来源：网络整理

导读：我正在学习Scala中的免费monad，我已经把一个简单的代数示例放在了一个可以使用猫的免费monad中。这是我的代数 sealed trait ConsultationOp[A]object consultation { case class Create(c: Consultation) extends ConsultationOp[Unit] case class Get(s:

我正在学习Scala中的免费monad，我已经把一个简单的代数示例放在了一个可以使用猫的免费monad中。

这是我的代数

sealed trait ConsultationOp[A]
object consultation {
  case class Create(c: Consultation) extends ConsultationOp[Unit]
  case class Get(s: ConsultationId) extends ConsultationOp[Option[Consultation]]
}

我可以使用它

def app = for {
  c <- consultation.Create(Consultation("123","A consultation"))
  _ <- consultation.Get(c._id)
} yield ()

def interpreters = ConsultationInterpreter or UserInterpreter
app.foldMap(interpreters)

从ConsultationOp到Free的解除是隐含地执行的。

(有很多细节缺失，全面的工作实现在这里：https://github.com/gabro/free-api)

到目前为止这么好，但如果我需要提取通过consult.Get返回的可选值，该怎么办？

首先要想到的是一个单体变压器，就是这样

def app = for {
  c <- consultation.Create(Consultation("123","A consultation")).liftM[OptionT]
  d <- OptionT(consultation.Get(c._id))
  _ <- doSomethingAConsultation(d)
} yield ()

但它看起来很丑陋，感觉不对。

当使用免费monad时，什么是荣耀的方式 – 如果有的话 – 堆叠单体效应？

解决方法

在这些情况下，我经常看到的常见方式是使用遍历，因此您可以按照以下方式更改代码：

import cats.syntax.traverse._
import cats.instances.option._

// ...

def app = for {
  c <- consultation.Create(Consultation("123","A consultation"))
  d <- consultation.Get(c._id)
  _ <- d.traverseU(doSomethingAConsultation(_))
} yield ()

哪个，imho，比单体变压器替代品更干净。请注意，您可能需要一些其他导入和稍微修改代码，我没有尝试，但概念是：使用遍历。

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!