描述效果可能性的成语

Question

有时我需要编写一个可能有效果也可能没有效果的函数。

是否有一个功能性（或其他）成语来描述这种事态？前缀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);

我知道可能单子，但它似乎与此不同。

Answer 1

我认为用“可能”这个词来暗示功能的效果是合适的。

correctPossibleError()

handlePossibleNameChange()

erasePossibleOuterCircle() 

includePossibleMatches()

Answer 2

这只是一个纯函数。等效的 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 接口，可以使用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 接口：

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 接口。