haskell - 无法将预期类型 `Int' 与实际类型 `Integer' 匹配

Question

我有以下 Haskell 代码:

-- Problem 69

import ProjectEuler

phi :: Integer -> Integer
phi n = n * product [p - 1 | p <- primeDivisors n] `div` product [p | p <- primeDivisors n]
-- primeDivisors n is a list of the prime divisors of n

maxRatio :: (Int, Int, Double) -> (Int, Int, Double) -> (Int, Int, Double)
maxRatio t1@(_, _, x) t2@(_, _, y)
  | x > y = t1
  | otherwise = t2

main = print (foldl
                maxRatio
                (0, 0, 0.0)
                [(n, phi n, ratio) | n <- [2..max], let ratio = fromIntegral n / (fromIntegral (phi n))]
              )
    where max = 1000

这给出了以下错误:

Couldn't match expected type `Int' with actual type `Integer'
In the expression: n
In the expression: (n, phi n, ratio)
In the third argument of `foldl', namely
  `[(n, phi n, ratio) |
      n <- [2 .. max],
      let ratio = fromIntegral n / (fromIntegral (phi n))]'

我怀疑在三重 (0, 0, 0.0) 0 是类型 Int .是 0总是输入 Int或者 ghci 将类型推断为 Int在这种情况下？如果是后者，我如何强制它输入 Integer反而？还是有其他原因导致此错误？

Answer 1

Haskell 通常可以推断出数字文字的类型，例如 0作为您需要的任何合适的类型。这是因为它知道您将它们传递给哪些函数；如果我有函数phi :: Integer -> Integer , 我调用 phi 0 , Haskell 知道那个特殊的 0必须是 Integer .调用函数pho :: Int -> Int也可以与 pho 0 ;那个特别的0被推断为 Int .

然而Int和 Integer是不同的类型，没有一个特定的 0可以同时传递给 phi和 pho .

您的问题只是 maxRatio 的元组交易由(您)输入(Int, Int, Double) ，但是这样一个元组被构造为 (n, phi n, ratio) .由于phi取回 Integer , n在那个表达式中必须是 Integer .但这不适用于 maxRatio ，所以你得到错误。

根据您实际想要的类型( Int 或 Integer )，您需要做的就是更改 phi 的类型签名或 maxRatio以便他们使用相同的号码。 Haskell 将决定您的字面意思是 0 s 是使该工作所需的任何数字类型，只要有一个 可以让它起作用!

请注意，错误消息特别告诉您它是 n在 (n, phi n, ratio)应该是 Int实际上是 Integer . (0, 0, 0.0)元组从未被提及。类型错误通常源自编译器指向您的位置以外的其他地方(因为编译器所能做的就是发现不同的推理链对某物的类型产生不一致的要求，无法知道整个过程的哪个部分是“错误的” )，但在这种情况下，它做得很好。

Haskell 因难以理解的错误消息而得到一个(相当合理的)不好的代表，但从编译器告诉您的问题开始并尝试找出 会很有帮助。为什么它提示的事实来自您的代码。一开始这会很痛苦，但是你很快就会对 Haskell 的错误消息(至少是更直接的错误消息)有一个基本的了解，这将帮助你非常快速地发现这些类型的错误，这使得编译器成为一个非常强大的错误检测工具系统为你。