Haskellは：（式A）リテラルから生じる推測できませんでした「1」コンテキスト（ヌムA）から

Question

を再帰を使用して簡単な乗数の作成、GHCiのは、関数の型にエラーが発生し

mul :: Num a => a -> a -> a 
mul a 1 = a 
mul a n = a + mul a (n-1) 

これは、エラーメッセージは、私はNum a部分は必須ですので、私はのparamsをNumberオブジェクトを適用しなければならないと思います

Could not deduce (Eq a) arising from the literal ‘1’ 
from the context (Num a) 
    bound by the type signature for mul :: Num a => a -> a -> a 
    at es8.hs:44:8-27 
Possible fix: 
    add (Eq a) to the context of 
    the type signature for mul :: Num a => a -> a -> a 
In the pattern: 1 
In an equation for ‘mul’: mul a 1 = a 
Failed, modules loaded: none. 

を受けました。

Answer 1

この制約は、あなたがmulを定義するために使用される最初の方程式のために来る：

mul a 1 = a 

は、それは第二引数は1等しい時はいつでも結果は最初の引数であることを述べています。 Numは、等価が決定できない数（例えば、実数）を考えることができるので、Eqスーパークラスの制約はありません。したがって、エラーメッセージで示唆されているように、手作業でその制約を追加して関数をさらに制限する必要があります。

mul :: (Eq a, Num a) => a -> a -> a 
mul a 1 = a 
mul a n = a + mul a (n-1)