如何链接返回 Validated、Option、Either 的函数？（单子变压器）答案

【问题标题】：How to chain functions returning Validated, Option, Either? (Monad Transformer)如何链接返回 Validated、Option、Either 的函数？（单子变压器）
【发布时间】：2020-07-20 04:45:49
【问题描述】：

我有简单的三个函数返回 arrow-kt 数据类型

fun validate(input): Validated<Error, Input> = ...
fun fetch(input): Option<Error, InputEntity> = ...
fun performAction(inputEntity): Either<Error, Output> = ...

并且想要链接这样的东西（可以使用任何可用的函数而不是map）

validate(input)
  .map{fetch(it)}
  .map{performAction(it)}

我能想出的唯一解决方案是将Validated 和Option 替换为Either，并使用flatMap 进行链接。有没有更好的功能方法让它在不更新现有功能的情况下工作？

【问题讨论】：

标签： kotlin functional-programming arrow-kt

【解决方案1】：

? @pablisco 描述的内容是正确的，但您可以通过使用我们提供的一些语法扩展来将其从一种类型转换为另一种类型，从而使其更简单。请注意，这两个选项都是正确的，但 Monad Transformers 可能有点复杂且过于强大，一旦我们最终完全弄清楚我们的分隔延续样式，它们也很容易很快从 Arrow 中删除。但这超出了这里的范围。以下是使用我提到的扩展来解决它的方法：

import arrow.core.*
import arrow.core.extensions.fx

sealed class Error {
  object Error1 : Error()
  object Error2 : Error()
}

data class InputEntity(val input: String)
data class Output(val input: InputEntity)

fun validate(input: String): Validated<Error, InputEntity> = InputEntity(input).valid()
fun fetch(input: String): Option<InputEntity> = InputEntity(input).some()
fun performAction(inputModel: InputEntity): Either<Error, Output> = Output(inputModel).right()

fun main() {
  val input = "Some input"

  Either.fx<Error, Output> {
    val validatedInput = !validate(input).toEither()
    val fetched = !fetch(validatedInput.input).toEither { Error.Error1 /* map errors here */ }
    !performAction(fetched)
  }
}

希望有用?

【讨论】：

【解决方案2】：

您正在寻找的东西称为 Monad Transformer。在 Arrow 中，您可能已经看过它们，它们以 T 结尾。喜欢OptionT 或EitherT。

这里有一些关于 EitherT 的好例子：

https://arrow-kt.io/docs/0.10/arrow/mtl/eithert/

这里是 OptionT：

https://arrow-kt.io/docs/0.10/arrow/mtl/optiont/

我们的想法是选择您的最终值（假设为 Either）并使用 FX 块，然后您可以使用 EitherT 将其他类型转换为 Either。

【讨论】：