Numを0と比較できないのはなぜですか？

Question

この機能は、間違っているとコンパイルされません。

checkIsZero :: (Num a) => a -> String 
checkIsZero a = if a == 0 
        then "Zero" 
        else "Not zero" 

これが原因で表現a == 0でNumと0との比較では動作しません。 NumからIntegralに変更すると、これが有効な機能になります。

0に私の番号を比較させないこの邪悪な魔法は何ですか？

Answer 1

Numは+、*、abs、signum、およびfromIntegerを実装するためのインスタンスが必要です。 ==がリストにないことに注意してください。 ==を実装しなければならないのは、Eqタイプキャストのインスタンスです。

したがって、Numという制約は十分ではありません。Eqという制約も必要です。以下がコンパイルされます。

checkIsZero :: (Eq a, Num a) => a -> String 
checkIsZero a | a == 0 = "Zero" 
       | otherwise = "Not zero" 

Integral作品Integralのインスタンスである何かが順番にEqのインスタンスでなければならない、Ordのインスタンス自体でなければなりませんので。

hoogleを使用してこれらのすべてをチェックして、ソースを掘り下げることができます。

Answer 2

Numインスタンスを定義するためにEqインスタンスを必要としない理由は、あなたが関数のEqインスタンスを作成することができないので、それが

instance Num b => Num (a -> b) where 
    f + g = \x -> f x + g x 
    f - g = \x -> f x - g x 
    f * x = \x -> f x * g x 
    abs f = \x -> abs (f x) 
    signum f = \x -> signum (f x) 
    fromInteger = const . fromInteger 

のような便利なインスタンスを除外するだろうということです。

Answer 3

データがNum aのインスタンスである場合、そのデータはEq aのインスタンスであることが受給者ではありません。

Integer（およびInt、Double）両方のインスタンスがあります。instance Num Integerとinstance Eq Integerを、そしてプログラムが有効

IntegralですがGHCiの中

class (Real a, Enum a)=> Integral a where ... 
class (Num a, Ord a)=> Real a where ... 
class Eq a => Ord a where ... 

~= class (Num a, Eq a, Enum a)=> Integral a where ... --means