Scala日记——Monad的概念简介

饥渴计科极客杰铿

于 2018-07-13 17:16:51 发布

阅读量2.9k

点赞数 1

分类专栏： Scala

本文链接：https://blog.youkuaiyun.com/qq_32198277/article/details/81034884

版权

本文介绍了Scala中的Monad概念，作为函数式编程的重要组成部分。文章从范畴、函子、自函子、幺半群和单子的角度进行阐述，探讨了Monad在控制副作用中的角色，并通过代码示例解释了其封闭性、结合律和幺元性质。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

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

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

范畴其实就是对特定类型的抽象，即高阶类型（也就是类型构造器）。
这里写图片描述
范畴C2就可以抽象为List高阶类型

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

type Id[T] = T

函子是体现在高阶类型(确切的说是范畴，可把范畴简单的看成高阶类型)之间的映射,如图
这里写图片描述
代码描述如下

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]
    }

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