是现代javascript中的数组单体吗？

Question

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

这些是单一法律的有效性：

1. 左身份(满意)：

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

1. 权利身份(满意)：

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

1. associativity (satisfied):

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

是的，数组是单子。

在Haskell中，我们可以在列表中使用一元绑定，如下所示：

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

下面是列表的haskell实例：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是一种数学形式主义，是语言不可知论者。