函数式编程

一个单子(Monad)说白了不过就是自函子范畴上的一个幺半群而已

Playground

函数是第一公民

组合子(Combinator)

函子(Functor)与不纯操作