如何使用ZIO解释最终的无标签DSL

Question

我有一个最后的无标签DSL来构建简单的数学表达式：

trait Entity[F[_]] {
def empty: F[Int]
def int(value: Int): F[Int]
}
trait Operation[F[_]] {
def add(a: F[Int], b: F[Int]): F[Int]
}

我想实现一个ZIO解释器。根据module-pattern指南，可能的实现方式如下：

type Entity = Has[Entity[UIO]]
object Entity {
val test: ULayer[Entity] =
ZLayer.succeed {
new Entity[UIO] {
override def empty: UIO[Int] =
ZIO.succeed(0)
override def int(value: Int): UIO[Int] =
ZIO.succeed(value)
}
}
def empty: URIO[Entity, Int] =
ZIO.accessM(_.get.empty)
def int(value: Int): URIO[Entity, Int] =
ZIO.accessM(_.get.int(value))
}
type Operation = Has[Operation[UIO]]
object Operation {
val test: ULayer[Operation] =
ZLayer.succeed {
new Operation[UIO] {
override def add(a: UIO[Int], b: UIO[Int]): UIO[Int] =
ZIO.tupled(a, b).map { case (x, y) => x + y }
}
}
def add(a: UIO[Int], b: UIO[Int]): URIO[Operation, Int] =
ZIO.accessM(_.get.add(a, b))
}

当使用此实现构建表达式时，必须像这样重复调用provideLayer：

Operation.subtract(
Entity.empty.provideLayer(Entity.test),
Entity.int(10).provideLayer(Entity.test)
).provideLayer(Operation.test)

这看起来更像是反模式。解释DSL最惯用或最ZIO的方式是什么？

Answer 1

从这个问题中还不清楚你想要实现什么，但让我试着回答一下。

1. ZIO的R参数与构建DSL没有直接关系。一旦构建了DSL，R就有可能帮助您根据人体工程学(但可能不是(将其传递给计算。

2. DSL不是一个精确的术语，但ZIO仍然不太可能帮助您构建它。DSL通常基于简单的可内省数据类型(所谓的初始编码(或具有大量F的抽象数据类型(最终编码(。ZIO数据类型既不抽象也不内省。

Answer 2

回到这个问题，更好地理解ZIO，我找到了解决方案。这是一种变通方法，不符合ZIO的精神，尽管如此，我认为它可能值得分享。

我更新了ZIO:的操作实施

type Operation = Has[Service[URIO[Entity, *]]]
object Operation {
val live: ULayer[Operation] =
ZLayer.succeed {
new Service[URIO[Entity, *]] {
override def add(a: URIO[Entity, Int])(b: URIO[Entity, Int]): URIO[Entity, Int] =
a.zip(b).map { case (x, y) => x + y }
}
}
}
def add(a: URIO[Entity, Int])(b: URIO[Entity, Int]): URIO[Entity with Operation, Int] =
ZIO.accessM(_.get[Service[URIO[Entity, *]]].add(a)(b))

通过这种方式，实体和操作可以像这样组合：

operation.add(entity.int(5))(entity.int(37))