list - 如何将 all 与 monadic 函数一起使用？

Question

我发现自己处于一种情况，我想将 all 与 monadic 函数一起使用。在我看来，这并没有真正变得太漂亮:

f :: Monad m => a -> m Bool

g :: Monad m => [a] -> m Int
g xs = do cnd <- liftM (all (== True)) $ mapM f xs
          if cnd
           then return 42
           else return 0

是否有 Better™ 方法来做到这一点？

Answer 1

如果您导入 Control.Applicative 和 Data.Bool(如果使用 base >= 4.7)，那么您可以将其写为

g xs = bool 0 42 <$> and <$> mapM f xs
-- Or equivalently
-- g xs = bool 0 42 . and <$> mapM f xs
-- g = fmap (bool 0 42 . and) . mapM f

但我认为这不会给您带来很多好处。相反，您还可以将 return 拉到 if-then-else 之外:

g xs = do cnd <- and <$> mapM f xs
          return $ if cnd then 42 else 0

甚至

g xs = do ys <- mapM f xs
          return $ if and ys then 42 else 0

我认为大多数人会更愿意看到最后两个版本中的一个，尽管最后一个带有“if and foo then bar else baz”的英语人士看起来有点奇怪