scala – flatMap究竟做了什么？

trait Functor[F[_]] {
    def map[A,B](f: A => B)(v: F[A]): F[B]
}

Monads是函数,支持两个额外的操作：

trait Monad[M[_]] extends Functor[M] {
    def pure[A](v: A): M[A]
    def join[A](m: M[M[A]]): M[A]
}

加入展平嵌套值,例如如果m是List,则join具有类型

def joinList[A](l: List[List[A]]): List[A]

如果你有一个monad m并且你映射它,如果b是相同的monadic类型会发生什么？例如：

def replicate[A](i: Int,value: A): List[A] = ???
val f = new Functor[List] {
    def map[A,B](f: A => B)(v: List[A]) = v.map(f)
}

然后

f.map(x => replicate(x,x))(List(1,2,3)) == List(List(1),List(2,2),List(3,3,3))

这具有类型List [List [Int]],而输入是List [Int].对于希望每个步骤返回相同输入类型的操作链而言,这是相当常见的.由于List也可以制作成monad,因此您可以使用join轻松创建这样的列表：

listMonad.join(List(List(1),3))) == List(1,3)

现在您可能想要编写一个函数将这两个操作合并为一个：

trait Monad[M] {
   def flatMap[A,B](f: A => M[B])(m: M[A]): M[B] = join(map(f)(m))
}

然后你可以简单地做：

listMonad.flatMap(List(1,3),x => replicate(x,x)) == List(1,3)

flatMap的确切取决于monad类型构造函数M(本例中为List),因为它依赖于map和join.