具有多个参数的 Haskell 过滤器函数

Question

我正在尝试学习 Haskell，想知道如何使用一个接受多个参数的函数过滤给定列表，将列表中的每个元素与其他不变的元素一起传递给函数，以创建一个新列表。

我知道我可以这样做以使用 bool 函数来过滤列表：

newList = filter theFunction aList

但是当 theFunction 采用其他参数时会发生什么：

theFunction -> elementOfAList -> Int -> Bool 

那么我如何过滤列表中的每个元素，同时将另一个元素解析到函数中？任何帮助将不胜感激:)

Edit -> 为了提供更多信息，如果我想获得 [1..10] 中的整数列表，通过一个接受两个整数的函数进行过滤，如果第一个整数更小则返回 true，如何我可以这样做吗？

Answer 1

在这种情况下，您使用部分应用的谓词函数，像这样

-- theFunction :: elementOfAList -> Int -> Bool       -- "::" means, "is of type"
newList = filter (flip theFunction i) aList

因为

flip theFunction i x = theFunction x i

根据flip的定义，所以flip theFunction的类型为Int -> elementOfAList -> Bool：

flip ::       (a -> b   -> c   ) -> b -> a -> c
theFunction :: a -> Int -> Bool
flip theFunction ::               Int -> a -> Bool
flip theFunction  (i ::  Int)         :: a -> Bool

其中i 是在别处定义的某个Int 值。 a 是一个类型变量，即它可以是任何类型，例如列表元素的类型（即对于列表aList :: [a]，每个元素都具有相同的类型，a）。

例如，使用theFunction x i = x < i，您可以调用filter (flip theFunction 5) aList，在结果列表中保留aList 中小于5 的所有元素。通常这将写为filter (< 5) aList，使用operator sections （其中(< 5) 是一个例子，完全等同于flip theFunction 5）。

---

上述过滤将使用相同的Int值i为列表aList的每个元素x调用theFunction。如果您想重新计算 Int，则使用另一种模式（即高阶函数）完成，

mapAccumL :: (acc -> x -> (acc, y)) -> acc -> [x] -> (acc, [y])

假设您想将theFunction 找到的所有元素保存在一个整数列表中。然后你可以这样做

theFunction :: elementOfAList -> Int -> Bool
foo :: Int -> [Int] -> [Int]
foo i xs = concat (snd (mapAccumL g i xs))    -- normally written as
        -- concat $ snd $ mapAccumL g i xs     -- or 
        -- concat . snd $ mapAccumL g i xs      -- or even
        -- concat . snd . mapAccumL g i $ xs
  where
  g acc x   -- g :: (acc -> x -> (acc, y))  according to mapAccumL's signature
    | theFunction x acc = (x, [x])   -- include `x` in output, and update the acc
    | otherwise         = (acc, [])  -- keep the accumulated value, and skip this `x`

因为x 和acc 都用于相同的角色（元组的第一个元素），所以它们必须是相同的类型。