При поддержке @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)); //error at the end because alert doesn't return any values
Теперь мне осталось только разобраться, как реализовать [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) { //ugly, but have to use closure to 'copy' i
fn(a[closure]).done(function(val) { callback(closure, val); })
})(i);
}
return Mb.promise();
};
}
Итак, для функции, которая получает один отложенный элемент, эта функция listBind возвращает новую функцию, которая принимает массив значений и использует их для возврата другого списка значений внутри отложенного элемента.