而另一一种类型的错误

Question

sumOfSquare :: Int -> Int -> Int 
sumOfSquare a b = a * a + b * b 

hipotenuse :: Int -> Int -> Int 
hipotenuse a b = truncate(sqrt(x)) 
      where x = fromIntegral(sumOfSquare a b) 

squareCheck :: Int -> Bool 
squareCheck n = truncate(sqrt(x)) * truncate(sqrt(x)) == n 
     where x = fromIntegral n 

isItSquare :: Int -> Int -> Bool 
isItSquare a b = squareCheck (sumOfSquare a b) 

calc :: (Integral a) => a -> [(a, a, a)] 
calc a = [(x, y, (hipotenuse x y)) | x <- [1..a], y <-[1..a], (isItSquare x y)] 

错误消息：

Prelude> :load "some.hs" 
[1 of 1] Compiling Main    (some.hs, interpreted) 

some.hs:16:74: 
    Couldn't match expected type `Int' against inferred type `a' 
     `a' is a rigid type variable bound by 
      the type signature for `calc' at some.hs:15:18 
    In the first argument of `isItSquare', namely `x' 
    In the expression: (isItSquare x y) 
    In a stmt of a list comprehension: (isItSquare x y) 
Failed, modules loaded: none. 

据我所知的 'x' 和 'y' 的类型。这样对吗？它是否正方要求Int。但是什么是'x'和'y'？我认为他们是诠释。

Answer 1

你的类型太笼统。您正在通过x和y到isItSquare，这是Int s，但您不知道x和y是Int s。他们可能是，但他们也可以是Integral的任何其他实例。无论是签名更改为更为具体：

calc :: Int -> [(Int, Int, Int)] 

或你的辅助功能上更普遍的工种：

squareCheck :: (Integral a) => a -> Bool 
... 

Answer 2

您已声明sumOfSquare,hipotenuse,squareCheck和isItSquare在Int上操作。

但是，您所说的calc可以使用任何类型的a，只要a是Integral。

要么宣布calc这样的：

calc :: Int -> [(Int, Int, Int)] 

...或者改变您的其他所有功能，像这样：

sumOfSquare :: (Integral a) => a -> a -> a 

Answer 3

calc :: (Integral a) => a -> [(a, a, a)] 
calc a = [(x, y, (hipotenuse x y)) | x <- [1..a], y <-[1..a], (isItSquare x y)] 

a具有类型a（签名明确地这么说的，那是什么“是由calc的类型签名绑定的刚性类型变量”的意思），并且x取自列表[1..a]，所以它也具有类型a（并且与相同）。