教科书级别的完美回答-感谢大神

「 刘颖: 问你个问题，看你这scala老手多长时间给出答案?

List(Some(3), None).flatMap(e => e)

的结果是什么? 为什么? 」

---

今天走在路上，忽然想到上次你说的这个问题可以从语言上层的理论来解释：
在面向对象的编程中，一切皆对象，类比到函数式编程，一切皆函数，也可以称为一切皆monad，也就是说我们在函数式编程中见到的应该都是monad（除去基本类型）。monad的严格定义是：自函子范畴内的幺半群。这句话中有两个比较重要的地方：
1、自函子：函数的定义域和值域在同一个范围内（也正因为这样我们才可以在函数式编程中使用链式调用）
2、幺半群：幺半群要拆开来看，首先是群的概念，所谓群就是满足“结合率”和“交换律”的集合，半群就是只满足结合率的集合，而“幺”则是指这个集合中存在一个幺元。

针对幺半群可以举一个例子：假设集合中存在a、b、c和一个函子*，半群意味着a * b * c = a * (b * c) = (a * b) * c，这一个在monad with cats中我记得应该是有大量的基于此推导出来的公式的。现在集合中还存在一个幺元：I，幺元满足的特性是 a * I = I * a = a。上面这个是理论，用个通俗点的例子来说明：存在一个字符串的集合 {“hello”, “world”, “!”, “”}，那么append就是一个能使该集合满足单子特定的函子。演示一下结合率：“hello”.append(“wold”).append("!") = “hello”.append(“world”.append("!")) = (“hello”.append(“world”)).append("!")，在看一下幺元的特性："".append(“hello”) = “hello”.append("") = “hello”。
回到上面的例子Some(3)和None都是集合中的元素，而flatMap则是集合的一个函子，这里的None应该就是monad中的幺元，所以上面的结果List(Some(3),None).flatMap(e => e) “equals” List(None, Some(3)).flatMap(e => e) “equals” List(Some(3)).flatMap(e => e)