Haskell 中 Array.some 和 Array.every 的等价物？

Question

类似[(a->b)] -> a -> [b] 这样的类型。我当然可以编写代码，但我想为它指定正确的功能名称。

情况如下：

我是函数式编程的新手，我目前正在使用 JavaScript。

我有一个谓词函数数组：

 //predicate :: string -> a -> boolean

 let arr = [ predicate(foo), predicate(bar), predicate(baz) ]

我想将它们应用到value，并返回一组结果：

 let res = [ arr[0](value), arr[1](value), arr[2](value) ]
 // res = [ true ,false, true]

最后我想使用Any.concat 或All.concat 链接数组

 final_result = Any(res[0]).concat(Any(res[1])).concat(Any(res[2])).valueOf()
 // final_result = true | false

谢谢。

Answer 1

Haskell 不是范畴论。 Haskell 就是 Haskell。

另一种编写函数的方法是：

import Data.Monoid (Any(..), All (..))
import Data.Coerce

any' :: [a -> Bool] -> a -> Bool
any' = fmap getAny . foldMap (fmap Any)
-- alternatively
any' = fmap getAny . foldMap coerce

和

all' :: [a -> Bool] -> a -> Bool
all' = fmap getAll . foldMap (fmap All)
-- alternatively
all' = fmap getAll . foldMap coerce

使用foldMap，也可以选择使用coerce，以避免编写fmap Any 或fmap All，这可以从其他地方的类型信息中推断出来。

这个答案取决于一个以幺半群结尾的函数本身就是一个幺半群的事实：

Monoid b => Monoid (a -> b)

因为Any 和All 有Monoid 实例，所以a -> Any 和a -> All 也将有Monoid 实例。

mempty :: a -> Any 是一个忽略其输入并返回mempty :: Any 的函数，即Any False，即“或”运算的中性元素。 a -> All 也是如此。

mappend :: (a -> Any) -> (a -> Any) -> a -> Any 接受两个函数，并返回一个新函数，该函数将自己的输入提供给之前的每个函数，并执行结果 Anys 的 mappend。 a -> All 也是如此。

foldMap 函数将映射到某个列表的操作（生成作为Monoid 的实例的值）与mappend 生成所有结果值的操作相结合。在我们的例子中，我们只是将函数的“提示”包装到 Any/All 中，以便能够 mappend 函数。然后——有点烦人——我们必须解开包装。

Answer 2

在 Haskell 中，我们有 sequence，它专门用于：

sequence :: [a -> b] -> a -> [b]

但我不会将它用于您显示的代码。相反，我会写其中之一：

finalResult = or [predicate x value | x <- arr]
finalResult = any (flip predicate value) arr