javascript - 现代javascript中的数组单子(monad)是什么？

Question

我对函数式编程有点陌生，现在我想弄清楚现代 javascript 中的数组是否是 monad。现代 javascript 中的数组现在有 flatMap 方法(这个方法是最近添加的 https://tc39.es/ecma262/#sec-array.prototype.flatmap )。使用这种方法，我能够满足所有的单子(monad)定律。现在我想弄清楚我是否真的正确，但我无法找到验证此声明的资源。我发现了一个声明，数组几乎是 monad，但不完全是，但是这个声明是在添加 flatMap 之前做出的。 (https://stackoverflow.com/a/50478169/11083823)
这些是对单子(monad)定律的验证:

左身份(满意):

const value = 10
const array = [value]
const twice = (value) => [value, value]
array.flatMap(twice) === twice(value) // both [10, 10]

正确身份(满意):

const array = [10]
const wrap = (value) => [value]
array.flatMap(wrap) === array // both [10]

关联性(满足):

const array = [10]
const twice = (value) => [value, value]
const doubled = (value) => [value * 2]
array.flatMap(twice).flatMap(doubled) === array.flatMap(doubled).flatMap(twice) // both [20, 20]

Answer 1

是的，数组是单子(monad)。
在 Haskell 中，我们可以对列表使用单子(monad)绑定(bind)，如下所示:

λ> [1, 2, 3] >>= \a -> [a, 0 - a]
[1,-1,2,-2,3,-3]

这是列表的 haskell Monad 实例:https://hackage.haskell.org/package/base-4.14.1.0/docs/src/GHC.Base.html#line-1133
这是解释列表 monad 的资源:https://en.wikibooks.org/wiki/Haskell/Understanding_monads/List
PS。单子(monad)是一种数学形式，并且与语言无关。