haskell - 如何在 Haskell 中返回布尔值

Question

我一直在使用 learnyouahaskell 学习 Haskell，并且在我一直在尝试的程序上遇到了问题。我想评估代表三角形边的三个 Num 输入，并查看它们是否代表直角三角形。这是我到目前为止所拥有的：

isRight :: (Num a) => a -> a -> a -> Bool
isRight x y z = (x^2 + y^2) == z^2

显然，该功能需要更长的时间以允许不同的边顺序，但由于 GCHI 中的此错误，目前我无法使用该功能：

Could not deduce (Eq a) arising from use of '==' from the context (Num a) 
    bound by the type signature for
        isRight :: Num a => a -> a -> a -> Bool
    at isRight.hs:2:1-34

显然，我不明白如何在 Haskell 中返回布尔类型，并且我无法在线找到与此问题有关的任何帮助。如果有人能帮助向我解释这一点，我将不胜感激。

Answer 1

您的问题不在于返回 Bool。问题是并非类型类的所有成员也是Num类型类的成员Eq。这将修复您的代码。

isRight :: (Num a, Eq a) => a -> a -> a -> Bool
isRight x y z = (x^2 + y^2) == z^2

您可以从您正在阅读的书的相关部分阅读更多关于类型类的信息：Learn You a Haskell。