Haskell：无法预期实际类型'Int'的'Integer'类型

Question

我已经盯着这段代码已经有一段时间了，我无法理解这条错误信息。

divisors :: Integer -> [Integer]
divisors n = [t | t <- [1..n], mod n t == 0]

length' :: [a] -> Integer
length' []      = 0
length' (x:xs)  = 1 + length' xs

divLengths :: [(Integer, Integer)]
divLengths = [(n, length' (divisors n)) | n <- [1..]]

divLengths' :: [Integer]
divLengths' = [length' (divisors n) | n <- [1..]]

hcn :: [Integer]
hcn = [n | n <- [1..], max (take n divLengths') == length' (divisors n)]

“divisors”接受一个I​​nteger并返回一个包含所有除数的列表。

“length”与内置的“length”相同，只返回一个Integer。

“divLengths”是一个整数元组的无限列表及其除数的数量。

“divLengths'”仅返回数字的除数。

“hcn”应该是高度复合数字的无限列表（如果除数的数量与所有数字的所有除数的最大数量相同（直到被检查的数量））。

但是，在尝试加载ghci中的.hs时出现此错误：

Couldn't match expected type `Integer' with actual type `Int'
In the first argument of `divisors', namely `n'
In the first argument of length', namely `(divisors n)'
In the second argument of `(==)', namely `length' (divisors n)'

你能帮帮我吗？

最好的问候，卢卡斯

Answer 1

问题是take采用Int ，所以GHC推断出n必须是Int 。 没问题，你可以使用fromIntegral在任何整数类型之间进行转换。

max还有另一个问题，它应该带两个参数。 您可能意味着使用maximum ，而不是列表。

尝试这样的事情：

hcn :: [Integer]
hcn = [n | n <- [1..], maximum (take (fromIntegral n) divLengths') == length' (divisors n)]