读完这篇关于 Typescript 中 monad 的精彩文章后： https://codewithstyle.info/advanced-functional-programming-in-typescript-maybe-monad/ 我觉得我已经设法掌握了除了这个问题的主题之外的所有内容。
有人可以解释为什么flatMap() 与map() 不同，因为唯一的区别是前者接受带有Maybe 作为返回值的lambda？
我完全理解为什么数组可以“扁平化”，但我无法将“扁平化”的含义应用于 monad。
【问题讨论】：
标签： typescript functional-programming monads
假设我有一个 Maybe m: Maybe<Int> 和一个函数 f: Int => Maybe<String>。现在m.map(f) 的类型将是Maybe<Maybe<String>>。 m.flatMap(f) 的类型将只是 Maybe<String>。所以就像将一个数组扁平化为一个数组一样，在Maybes 上使用flatMap 而不是map 将可能的可能变成普通的可能。
【讨论】：
flatten<T>(m: Maybe<Maybe<T>>): Maybe<T>，比如flatten(Some(None)) = None、flatten(None) = None和flatten(Some(Some(x))) = Some(x)，那么m.flatMap(f)等于flatten(m.map(f))（对于那些f，其中m.flatMap(f) 类型正确）。因此，除了map 也适用于不产生可能的函数之外，区别与在结果上调用flatten 相同。另一种思考方式是Some(x).map(f) 总是会产生另一个Some，而flatMap 可能会产生None。
flatMap 和 selectMany（它曾经被称为，源于 .NET 实现）只是语言中 bind 运算符的其他名称像哈斯克尔。所有其他一元运算符可以使用bind/selectMany/flatMap来实现。例如，过滤器可以实现为flatMap，其中选择器返回空集合或包含原始项目的集合，具体取决于是否满足谓词。
selectMany == flatMap。您可以忽略 selectMany，除非您使用 Rx 或 Ix for .NET。