haskell - 没有由文字 ‘0’ 产生的 (Num Bool) 实例

Question

我的代码:

divisibleBy :: Int -> Int -> Bool
divisibleBy x y
    | mod x y == 0 = True
    | otherwise = False

isEven :: Int -> Bool
isEven x
    | (divisibleBy x 2) == 0 = True
    | otherwise = False

错误:

practical1.hs:30:28: error:
    • No instance for (Num Bool) arising from the literal ‘0’
    • In the second argument of ‘(==)’, namely ‘0’
      In the expression: (divisibleBy x 2) == 0
      In a stmt of a pattern guard for
                     an equation for ‘isEven’:
        (divisibleBy x 2) == 0
   |
30 |     | (divisibleBy x 2) == 0 = True    |  

divisibleBy 函数有效，但 isEven 函数无效。我做错了什么？

Answer 1

错误消息已经说明了这一点。你写:

isEven :: Int -> Bool
isEven x
    <b>| (divisibleBy x 2) == 0 = True</b>
    | otherwise = False

现在，如果我们对此进行类型检查，我们会看到 (divisibleBy x 2) 将返回 Bool，并且您无法执行 (==) code> 带有一个 Bool 和一个数字(Bool 在 Haskell 中不是数字)。

为什么用 == 0 写这个对我来说并不是很清楚，我们可以将其写为:

isEven :: Int -> Bool
isEven x
    <b>| (divisibleBy x 2) = True</b>
    | otherwise = False

但现在它仍然不优雅:我们不必检查条件是否成立返回 True 否则 False，我们可以简单地返回定义，所以:

isEven :: Int -> Bool
isEven x = divisibleBy x 2

或者我们可以通过使用 flip::(a -> b -> c) -> b -> a -> c 来省略 x 参数:

isEven :: Int -> Bool
isEven = flip divisibleBy 2

同样适用于divisibleBy函数，我们可以将其重写为:

divisibleBy :: Int -> Int -> Bool
divisibleBy x y = mod x y == 0

或者不带参数:

divisibleBy :: Int -> Int -> Bool
divisibleBy = ((0 ==) .) . mod

交换divisableBy的参数

它看起来更Haskell来交换函数的参数，所以我们可以将其写为:

divisibleBy :: Int -> Int -> Bool
divisibleBy x y = mod y x == 0

现在我们可以定义一个函数divisibleBy 2，它将检查任何参数该数字是否可以被二整除。

在这种情况下，isEven 函数如下所示:

isEven :: Int -> Bool
isEven = divisibleBy 2