现代javascript中的数组单子是什么？答案

【问题标题】：Are arrays monads in modern javascript现代javascript中的数组单子是什么？
【发布时间】：2021-04-30 11:49:46
【问题描述】：

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

这些是对单子定律的验证：

左身份（满意）：

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]

【问题讨论】：

这能回答你的问题吗？ Monads in JavaScript
请注意，虽然原生 JS 数组恰好是一个 monad，但没有合法的数组 monad 转换器，因为数组是一种命令式数据类型，而不是在适当的 FP 语言中使用的代数数据类型。 monad 是一种代数结构，当您将其应用于诸如数组之类的命令式（即组成）数据类型时，您有点处于未定义/未知的水域。

标签： javascript arrays monads

【解决方案1】：

是的，数组是单子。

在 Haskell 中，我们可以对列表使用单子绑定，如下所示：

λ> [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 的资源：@987654322@

附言。 Monad 是一种数学形式，与语言无关。

【讨论】：