haskell - 为什么会收到类型错误？

Question

在Haskell中，在定义函数时遇到一些问题，因为参数的类型与所需的类型不匹配。

例如，我想编写一个函数，该函数采用n :: Int并生成从1到floor的平方根的n的整数列表。因此，我将具有以下功能:

list :: Int -> [Int]

最初，我将函数定义如下:

list :: Int -> [Int]

list n = [1 .. floor (sqrt n)]

加载 list 时，出现类型不匹配的错误消息。但是，我不确定是否与sqrt函数或floor函数的类型不匹配。错误消息如下:

No instance for (Floating Int)
  arising from a use of 'sqrt' at pe142.hs:6:22-27
Possible fix: add an instance declaration for (Floating Int)
In the first argument of 'floor', namely '(sqrt n)'
In the expression: floor (sqrt n)
In the expression: [1 .. floor (sqrt n)]
Failed, modules loaded: none.

有人可以向我解释是什么导致该错误，以及如何解决该错误？

Answer 1

sqrt需要Floating类的参数，例如一个Double。您正在向它传递一个Int，它不是Floating类的实例-这就是错误消息告诉您的内容。

因此，要纠正该错误，请在调用Int之前将Double转换为sqrt。您可以为此使用fromIntegral函数。