FP又称为Monadic Programming

什么是Monad?

trait Monad[+T] {  

    def flatMap[U]( f : (T) => Monad[U] ) : Monad[U]  

    def unit(value : B) : Monad[B]

}

Monads 就是一个values的容器，并且这个“容器”必须有一个flatMap和一个unit(v)操作. 

flatMap 将monad中的一个值转换为仍在相同monad类型中的另外一个值。

https://my.oschina.net/guanxun/blog/475527

 

Monad typeclass不是一种类型，而是一种程序设计模式（design pattern），是泛函编程中最重要的编程概念，因而很多行内人把FP又称为Monadic Programming。这其中透露的Monad重要性则不言而喻。Scalaz是通过Monad typeclass为数据运算的程序提供了一套规范的编程方式.

https://www.cnblogs.com/tiger-xc/p/4893572.html

 

上两期我们讨论了Monad。我们说Monad是个最有概括性（抽象性）的泛函数据类型，它可以覆盖绝大多数数据类型。任何数据类型只要能实现flatMap+unit这组Monad最基本组件函数就可以变成Monad实例

https://yq.aliyun.com/articles/30543

 

Monad定义了unit和flatMap两个函数。Monad都是Functor，因为我们可以用flatMap+unit来实现map。我们可以定义Monad继承自Functor特质。

 

trait Functor[F[_]] {

  def map[A, B](fa: F[A])(f: A => B): F[B]

}

 

trait Monad[M[_]] extends Functor[M] {

  def unit[A](a: A): M[A]

  def flatMap[A, B](ma: M[A])(f: A => M[B]): M[B]

}