有时我需要编写一个可能有效果也可能没有效果的函数。
是否有功能(或其他)成语来描述这种情况?前缀 maybe
描述了它,但是有什么惯用的东西吗?
例如:
function maybe(guardCb) {
return function(cb) {
return function() {
if(guardCb.apply(this, arguments)) {
return cb.apply(this, arguments);
}
}
};
}
function isFoo(args) {
return args.isFoo();
}
function doSomething(args) {
return foo.bar(args.bam);
}
maybe(isFoo)(doSomething)(args);
我知道 maybe monad,但它似乎与此不同。
最佳答案
这只是一个纯函数。等效的 Haskell 代码是:
maybe :: (a -> Bool) -> (a -> b) -> a -> Maybe b
maybe p f x = if p x then Just (f x) else Nothing
example = maybe p f x
这个函数没有特殊的名称。但是,它可以简化:
maybe :: Bool -> b -> Maybe b
maybe b y = if b then Just y else Nothing
example = (maybe <$> p <*> f) x
注意 p::a -> Bool
、f::a -> b
和 maybe p f::a -> Maybe b
都有一个共同点(即 ((->) a)
)。这是 Reader
接口(interface),可以使用 Applicative
将其抽象出来类型类,这就是我所做的。
但是,这不是好的代码。更好的抽象是:
maybe :: (a -> Maybe b) -> (b -> c) -> a -> Maybe c
maybe p f = fmap f . p
注意 p::a -> Maybe b
现在是 Kleisli arrow而不是简单的谓词函数。我们已将条件逻辑移出 maybe
函数。在 JavaScript 中,您的代码现在将是:
isFoo(args).map(doSomething);
您需要做的就是定义一个Maybe
数据类型并实现它的Functor
接口(interface):
function Maybe(constructor) {
this.constructor = constructor || this;
}
var Nothing = new Maybe;
function Just(value) {
var maybe = new Maybe(Just);
maybe.value = value;
return maybe;
}
Maybe.prototype.map = function (functor) {
switch (this.constructor) {
case Nothing: return Nothing;
case Just: return Just(functor(this.value));
}
};
当然,你还需要重新定义isFoo
如下:
function isFoo(args) {
return args.isFoo() ? Just(args) : Nothing;
}
doSomthing
函数可以保持原样。希望对您有所帮助。
您正在寻找的成语是一个 Functor
接口(interface)。
关于javascript - 成语描述效果的可能性,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/33167502/