时间戳

首页 > 解决方案 > 现代javascript中的数组单子是什么？

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

问题描述

我对函数式编程有点陌生，现在我想弄清楚现代 javascript 中的数组是否是 monad。现代 javascript 中的数组现在具有 flatMap 方法（此方法是最近添加的https://tc39.es/ecma262/#sec-array.prototype.flatmap）。使用这种方法，我能够满足所有的单子定律。现在我想弄清楚我是否真的正确，但我无法找到验证此声明的资源。我发现了一个声明，数组几乎是 monad，但不完全是，但是这个声明是在添加 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. 关联性（满意）：
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]

标签： javascriptarraysmonads

解决方案

是的，数组是单子。

在 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 的资源：https ://en.wikibooks.org/wiki/Haskell/Understanding_monads/List

PS。单子是一种数学形式，并且与语言无关。

推荐阅读