JavaScript中的单子

Monads in JavaScript?

本文关键字：JavaScript      更新时间：2023-09-26

如何使用Monad的示例JavaScript代码?我之所以这样问，是因为如果我能看到一个代码示例，那么理解Monad就会清晰得多(JavaScript是一种简单的函数式语言，它可能是学习Monad的最佳语言)。

我将从用JavaScript编写自己的单子开始。列表单子是一个很好的开始;我觉得它是迄今为止最有用的。只需定义做以下事情的函数:

  1. 创建一个给定项目的列表(称为mreturn)。
  2. 创建一个空列表(称为mzero)。
  3. 将一个列表附加到另一个列表(称为mplus)。
  4. 应用一个函数来转换给定列表中的每个元素(称为map)。
  5. 通过连接列表将列表列表"Flatten"成一个简单列表(称为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合并为一个定义为function bind(l, f) { return 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() } });
相关文章：