JavaScript 中的 Monad？

Question

使用 Monad 的 JavaScript 代码示例会是什么样子？我这样问是因为如果我能看到代码示例，理解 Monad 就会更清楚（JavaScript 是一种简单的函数式语言，它可能是学习它的最佳语言）。

Answer 1

我首先会用 JavaScript 编写您自己的 monad。列表 monad 是一个很好的起点；我发现它是迄今为止最有用的。只需定义执行以下操作的函数：

1. 创建一个给定项目的列表（将此称为 mreturn）。
2. 创建一个空列表（将此称为mzero）。
3. 将一个列表附加到另一个列表（将此称为mplus）。
4. 应用一个函数来转换给定列表中的每个元素（将此称为map）。
5. 通过连接列表（将此称为 join），将列表列表“展平”为简单列表。

这定义了所谓的“加法单子”（mzero 和 mplus 构成“加法”部分）。尝试一下，仅使用这些函数对列表进行操作可以做哪些有趣的事情。例如，您可以计算学生乘法表上所有偶数的列表，如下所示：

var nums = [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 ];
var even_products = join(map(join(map(nums, function (x) {
        return map(nums, function(y) { return x * y })
    })),
    function (x) { if (x % 2 == 0) { return mreturn(x) } else { return mzero() } }
));

或者，将 map 和 join 组合在一起作为定义为 的单个函数函数绑定（l，f）{返回join（map（l，f））}。 bind 可以用来代替 map 和 join，并且在例如 Haskell 中使用得更频繁。然后可以编写与上面相同的练习：

var nums = [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 ];
var even_products = bind(
    bind(nums, function (x) {
        return bind(nums, function (y) { return mreturn(x * y) })
    }),
    function (x) { if (x % 2 == 0) { return mreturn(x) } else { return mzero() } }
);

最后，您可能希望将这些函数合并为新列表原型的一部分（或者当今任何 JavaScript 所具有的类），因此您可以编写 jQuery 式的：

var nums = [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 ];
var even_products = nums
    .bind(function (x) { return nums.bind(function (y) { return mreturn(x * y) }) })
    .bind(function (x) { if (x % 2 == 0) { return mreturn(x) } else { return mzero() } });