Scala日记——Monad的概念简介

前言

Scala一种结合面向对象(OO)和函数式编程(FP)的语言，学习函数式编程的话经常会遇到Monad（单子）这个概念，Monad是用于控制副作用的,这篇文章不介绍它是如何控制副作用，只介绍Monad涉及的概念。Haskell大神Philip Wadler说：

“一个单子（Monad）说白了不过就是自函子(Endofunctor)范畴上的一个幺半群（Monoid）而已，这有什么难以理解的？”

概念

范畴

范畴其实就是对特定类型的抽象，即高阶类型（也就是类型构造器）。

范畴C2就可以抽象为List高阶类型

范畴C1就可以抽象为Identity高阶类型，即

type Id[T] = T

函子（functor）

函子是体现在高阶类型(确切的说是范畴，可把范畴简单的看成高阶类型)之间的映射,如图

代码描述如下

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

具体例子

    //函子
    trait Functor[F[_]] {
   
      def map[A,B](fa: F[A], f: A=>B): F[B]
    }

    //范畴(高阶函数/类型构造器)