无法将类型“Integer”与“Int”匹配

Question

我正在从事 Project Euler #41，这是我解决问题的一部分，我不知道如何绕过 Haskell 期待 [Int] 而不是 [Integer]。 Diglist 工作正常，但我将其包括在内以防错误以某种方式涉及它。

digList :: Integer -> [Integer]
digList n = digList' [] n where
        digList' xs n
                | n < 10        = n : xs
                | otherwise = digList' (lsd : xs) nxt
                where
                    lsd = n `mod` 10
                    nxt = n `div` 10

isNPandigital :: Integer -> Bool
isNPandigital n = isnp 1 (digList n) where --error on this line
    isnp i xs
        | i `elem` xs = isnp i $ delete i xs
        | i == length (digList n) = null xs
        | otherwise = False

错误是：

Couldn't match type `Integer' with `Int'
Expected type: [Int]
Actual type: [Integer]
In the return type of a call of `digList'
In the second argument of `isnp', namely `(digList n)'
In the expression: isnp 1 (digList n)

Answer 1

i 到isnp 的参数被推断为Int，因为您使用i `elem` xs，并且因为您使用i == length (digList n)。编译器认为i 应该是Int，因为您将它与length (digList n) 进行比较，后者总是返回Int，并且您使用的是i `elem` xs，因此xs 必须具有@ 类型987654332@，但是您将(digList n) 传递给xs，而digList n 的类型为[Integer]，因此出现错误。