Haskell“没有实例”错误

我正在尝试编写一个函数来检查数字是否为素数。我写了这个：

primeCheck :: Int -> Int -> Bool
primeCheck n i 
    | n == 2 = True
    | i == 1 = True
    | n `mod` i == 0 = False
    | otherwise = primeCheck n (i -1)

isPrime :: Int -> Bool
isPrime n = primeCheck n (floor (sqrt n))

我收到这些错误：

没有 (RealFrac Int) 实例 因使用而产生floor' Possible fix: add an instance declaration for (RealFrac Int) In the second argument ofprimeCheck'，即(floor (sqrt n))' In the expression: primeCheck n (floor (sqrt n)) In an equation for是素数'： isPrime n = primeCheck n (floor (sqrt n))

No instance for (Floating Int)
  arising from a use of `sqrt'
Possible fix: add an instance declaration for (Floating Int)
In the first argument of `floor', namely `(sqrt n)'
In the second argument of `primeCheck', namely `(floor (sqrt n))'
In the expression: primeCheck n (floor (sqrt n)) Failed, modules loaded: none.

当我将代码更改为以下内容以希望解决问题时：

primeCheck :: Int -> Int -> Bool
primeCheck n i 
    | n == 2 = True
    | i == 1 = True
    | n `mod` i == 0 = False
    | otherwise = primeCheck n (i -1)

isPrime :: Int -> Bool
isPrime n = primeCheck n (floor (RealFrac (sqrt  (Floating n))))

我明白了：

不在范围内：数据构造函数“RealFrac”

不在范围内：数据构造函数“Floating”

我怎样才能解决这个问题？

Floating is a 类型类，不是构造函数或函数。您似乎确实已经发现您需要转换类型n。正确的方法是使用fromIntegral:

isPrime n = primeCheck n $ floor $ sqrt $ (fromIntegral n :: Double)

我们可以通过遵循函数的类型签名来了解为什么这是有效的。

从类型签名isPrime， 我们看n有类型Int.

Since sqrt期望一些Floating类型（即作为类型类实例的类型Floating），我们可以从Int to a Double using fromIntegral。请注意，签名fromIntegral is

(Integral a, Num b) => a -> b

Int是一个实例Integral（所以输入类型没问题）并且Double是一个实例Num所以输出类型没问题。

然后我们采取sqrt得到一个新的Double.

floor需要一个类型为以下实例的参数RealFrac. Double恰好是两者的实例Floating and RealFrac，因此它将完成这项工作（无需转换）。floor将把平方根转换回类型Int.

请注意，由于输出类型为fromIntegral是多态的，就像输入类型一样sqrt and floor，我们必须将转换类型指定为Double，否则编译器不会知道which Num/Floating/RealFrac要转换为的实例。您可能会看到错误ambiguous type 'a' in ....

您可以使用以下命令查看许多函数的类型签名Hoogle

EDIT

事实证明，显式类型签名fromIntegral is not必需的。因此

isPrime n = primeCheck n $ floor $ sqrt $ fromIntegral n

就足够了。在我看来，只提供显式签名会更清楚，但在这种情况下没有必要。您可以阅读更多相关内容here.