Scala – NonEmptyList的Monad变压器?
发布时间:2020-12-16 09:20:56 所属栏目:安全 来源:网络整理
导读:在我看来,Scalaz的NonEmptyList有一个monad实例,所以一个monad变压器(有点类似于ListT)应该是可能的.那是对的吗? 如果是的话,那里有一个吗? (我在Scalaz 7本身找不到) 如果不是,即一个单体变压器是不可能的或没有任何意义的,我将不胜感激,为什么不这么做.
在我看来,Scalaz的NonEmptyList有一个monad实例,所以一个monad变压器(有点类似于ListT)应该是可能的.那是对的吗?
如果是的话,那里有一个吗? (我在Scalaz 7本身找不到) 如果不是,即一个单体变压器是不可能的或没有任何意义的,我将不胜感激,为什么不这么做. 解决方法
这当然有可能,因为可以看出,任何具有Traverse实例的单体都可以制成一个单体变压器:
import scalaz._ import Scalaz._ object MonadT { implicit def monadTransformerFromTraverse[M[_]: Monad,N[_]: Monad: Traverse]: Monad[({type MN[A]=M[N[A]]})#MN] = new Monad[({type MN[A]=M[N[A]]})#MN] { def point[A](a: => A): M[N[A]] = a.point[N].point[M] def bind[A,B](fa: M[N[A]])(f: A=>M[N[B]]) : M[N[B]] = { val M = implicitly[Monad[M]] val NT = implicitly[Traverse[N]] val N = implicitly[Monad[N]] M.map(M.join(M.map(M.map(fa)(N.map(_)(f)))(NT.sequence(_))))(N.join) // |- => M[N[M[N[B]]]] -| // |- => M[M[N[N[B]]]] -| // |- => M[N[N[B]]] -| // |- => M[N[B]] -| } } def main(argv: Array[String]) { val x: Option[NonEmptyList[Int]] = Some(NonEmptyList(1)) val f: Int => Option[NonEmptyList[Int]] = { x: Int => Some(NonEmptyList(x+1)) } val MT = monadTransformerFromTraverse[Option,NonEmptyList] println(MT.bind(x)(f)) // Some(NonEmptyList(2)) } } 这显然不是最方便的工作方式,但表明它确实是可能的. Tom Switzer目前正在为scalaz添加一个更有用和更通用的TraverseT单变量变换器.你可以see his progress on GitHub (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |