我在Scala中学习了monad变换器,但是遇到了一个我发现到目前为止无法解决的问题。在我的monad变换器堆栈中,我组成了Either和State monad。但是,我无法调用属于两个monad之一的函数:
import scalaz._
import Scalaz._
object Minimal {
type Inner[A] = EitherT[Id, String, A]
type Outer[F[+_], A] = StateT[F,Int,A]
type Stack[A] = Outer[Inner, A]
def foo:Stack[Int] = for {
n <- get[Int]
} yield {
2 * n
}
def main(args: Array[String]): Unit = {
val x = foo.eval(8)
println(x)
}
}
失败,并显示以下错误消息:
[error] Minimal.scala:10: type mismatch;
[error] found : scalaz.IndexedStateT[scalaz.Id.Id,Int,Int,Int]
[error] required: Minimal.Stack[Int]
[error] (which expands to) scalaz.IndexedStateT[Minimal.Inner,Int,Int,Int]
[error] n <- get[Int]
如果我将monad变换器堆栈更改为:
type Stack[A] = State[Int,A]
程序编译并运行没有问题。有谁知道我在这里做错了什么?
答案 0 :(得分:5)
方法调用get[Int]
会返回IndexedStateT[Id, Int, Int, Int]
。您的Stack[Int]
扩展为IndexedStateT[Inner, Int, Int, Int]
,其中Inner
为EitherT[Id, String, A]
。这有点难以理解,所以我会简化你的例子。
我们使用Inner
创建StateT
,而不是Option
类型别名。
type Stack[A] = StateT[Option, Int, A]
get[Int]
的分配仍然会失败。
val x:Stack[Int] = get[Int]
//type mismatch;
// found : scalaz.State[Int,Int]
// (which expands to) scalaz.IndexedStateT[scalaz.Id.Id,Int,Int,Int]
// required: Minimal.Stack[Int]
// (which expands to) scalaz.IndexedStateT[Option,Int,Int,Int]
为了解决这个问题,我们需要lift
转换为Option
:
val x:Stack[Int] = get[Int].lift[Option]
如果您将其翻译为示例代码,则需要lift
State
Inner
这样的Inner
。请注意,您还需要将type Inner[+A] = EitherT[Id, String, A]
type Stack[A] = StateT[Inner, Int, A]
val x:Stack[Int] = get[Int].lift[Inner]
的定义更改为协变:
type Inner[+A] = EitherT[Id, String, A]
type Outer[F[+_], A] = StateT[F, Int, A]
type Stack[A] = Outer[Inner, A]
implicit def liftToStack[A](x:Outer[Id, A]):Stack[A] = x.lift[Inner]
def foo: Stack[Int] = for {
n <- get[Int]
} yield {
2 * n
}
为了能够在不手动提升的情况下编写此内容,您可以引入隐式转换。完整的例子:
{{1}}
答案 1 :(得分:5)
我开始写这篇文章是对EECOLOR的答案的评论(我刚刚赞成,我建议 - 除了最后的隐式转换),但它有点笨拙,所以这是一个新答案。
EECOLOR的诊断是完全正确的,但是MonadState
(我今天早上在my answer to your other question中使用过)可以避免明确解除。例如,您可以编写以下内容:
import scalaz._, Scalaz._
type Inner[+A] = EitherT[Id, String, A]
type Stack[S, +A] = StateT[Inner, S, A]
def foo: Stack[Int, Int] = for {
n <- MonadState[Stack, Int].get
} yield 2 * n
请注意(如我之前的问题所示)我已将Stack
更改为在状态类型上进行参数化。您可以轻松地将其更改为以下内容:
type MyState[S, +A] = StateT[Inner, S, A]
type Stack[+A] = MyState[Int, A]
如果要捕获堆栈中的状态类型。