haskell - 如何在Haskell中正确使用foldr？

Question

我正在尝试编写一个行为如下的函数:

correctCards :: [Card] -> [Card] -> Int

它需要两个卡片类型列表并检查有多少张卡片是相同的。这是我的代码:

correctCards answer guess = foldr step acc guess
        where 
            acc = 0
            step acc guess
                | elem (head guess) answer  = acc + 1
                | otherwise                 = acc

但是类型不匹配。有人能告诉我哪里错了吗？谢谢。

Answer 1

看看 foldr 的类型:

foldr :: (a -> b -> b) -> b -> [a] -> b

现在，这意味着您提供的函数必须是 a -> b -> b 类型。给出以下代码:

foldr step 0 cards
-- cards :: [Card]
-- 0     :: Integer
-- step  :: ???

step 的类型应该是什么？根据我们的论点，a 应该是 Card，b 应该是 Integer:

-- concrete type of `foldr` in this case
foldr :: (Card -> Integer -> Integer) -> Integer -> [Card] -> Integer

因此，step 的类型应为(Card -> Integer -> Integer)。将此与您的步进函数进行比较:

step acc guess
    | elem (head guess) answer  = acc + 1
    | otherwise                 = acc

在本例中，step 是Integer -> [Card] -> Integer。这不是正确的类型。相反，你想要

step guess acc
     | elem guess answer = acc + 1
     | otherwise         = acc

请注意，step 仅采用单个，而不是整个列表。