在 @Pointy 的帮助下,实现“lift”变得微不足道:
function unit(value) {
var rv = $.Deferred();
rv.resolveWith(null, [value]);
return rv.promise();
}
function lift(fn) {
return function(x) {
return unit(fn(x));
};
}
lift(alert)("hello");
function bind(fn) {
return function(x) {
return x.done(function(y) { return fn(y); });
}
}
function compose(f, g) { return function(x) { g(f(x)); } };
function twice(x) { return 2 * x; }
var alert2 = compose(bind(lift(twice)), bind(lift(alert)));
alert2(unit(4));
现在我只需要想办法实现 [a] -> (a -> M<b>) -> M<[b]>
,然后想个名字就行了!
编辑,最终我实现了 (a -> M<b>) -> ([a] -> M<[b]>)
,它看起来像这样:
function listBind(fn) {
return function(a) {
var Mb = $.Deferred();
var b = [], pending = a.length;
var callback = function(i,val) {
b[i] = val;
if(--pending == 0) Mb.resolve(b);
};
for(var i = 0, n = a.length; i < n; i++) {
(function(closure) {
fn(a[closure]).done(function(val) { callback(closure, val); })
})(i);
}
return Mb.promise();
};
}
所以,假设有一个函数可以获取一个延迟项目,这个函数listBind返回一个新的函数,该函数接受一个值数组,并使用它们在延迟项目内返回另一个值列表。