JavaScript中的Monads

我将首先在JavaScript中编写自己的monad.名单monad是一个很好的开始的地方;我发现它是最有用的.只需定义执行以下操作的功能：

>创建一个给定项目的列表(称之为mreturn).
>创建一个空列表(称之为mzero).
>将一个列表附加到另一个列表(调用此mplus).
>应用函数来转换给定列表中的每个元素(调用此映射).
>通过连接列表(调用此连接)将列表列表“Flatten”为简单列表.

这定义了所谓的“添加剂monad”(mzero和mplus形成“添加剂”部分).玩耍,看看有什么有趣的事情只能使用这些功能来操作列表.例如,您可以计算一个schoolkid的乘法表中所有偶数的列表,如下所示：

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))}.可以使用绑定而不是地图和连接,并且更常用于例如.哈斯克尔.以上相同的练习可以写成：

var nums = [ 1,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通过的JavaScript),因此您可以编写jQuery-esque：

var nums = [ 1,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() } });