用于kotlin和arrow kt库的综合

Question

我使用箭头kt库，并尝试在库中使用Either和IO进行理解。

假设我有下一段代码：

IO.monad().binding {
val ans: Either<Error, Data> = someFunctionThatReturnsEitherWrappedInIO().bind()
}

现在，我想在ans:上使用绑定

val data: Data = ans.bind() // My intent

有可能在第一段代码的范围内完成它吗？

目前，我正在尝试在IO绑定的范围内嵌套Either绑定，但我不确定这是否是一个好的做法：

IO.monad().binding {
val ans: Either<Error, Data> = someFunctionThatReturnsEitherWrappedInIO().bind()
val ansB: Either<Error, OtherData> = someOtherFunctionThatReturnsEitherWrappedInIO().bind()
val newData: Either<Any, NewData> = Either.monad<Any>().binding {
val data: Data = ans.bind()
val otherData: OtherData = ansB.bind()
NewData(data.a, otherData.lala)
}.fix()
}

Answer 1

背景

首先，我应该提到的是，Monad不会作曲，这就是为什么你需要一个Monad转换器，在你的情况下，EitherT是可以帮助你的人。

示例

object Error
fun one() = IO { Right(1) }
fun two() = IO { Right("2") }
fun toInt(str: String) = IO { Try { str.toInt() }.toEither { Error } }
val result: IO<Either<Error, Int>> =
EitherT.monad<ForIO, Error>(IO.monad()).binding {
val oneInt = EitherT(one()).bind()
val twoString = EitherT(two()).bind()
val twoInt = EitherT(toInt(twoString)).bind()
oneInt + twoInt
}.value().fix()
println(result.unsafeRunSync()) // Just for demonstration, don't do this ever

右侧(b=3(