Warum bekomme ich einen Fehler Konnte nicht ableiten (Ord a)?

Question

Ich versuche, die Liste mit der kleinsten Summe der Elemente zu finden .:

shortest :: (Num a) => [[a]] -> [a] 
shortest [] = [] 
shortest (x:xs) = if sum x < sum (shortest xs) then x else shortest xs 

Das ist mir die folgenden Fehler gibt:

Could not deduce (Ord a) arising from a use of `<' 
from the context (Eq a) 
    bound by the type signature for shortest :: Eq a => [[a]] -> [a] 
    at code.hs:(8,1)-(9,71) 
Possible fix: 
    add (Ord a) to the context of 
    the type signature for shortest :: Eq a => [[a]] -> [a] 
In the expression: sum x < sum (shortest xs) 
In the expression: 
    if sum x < sum (shortest xs) then x else shortest xs 
In an equation for `shortest': 
    shortest (x : xs) 
     = if sum x < sum (shortest xs) then x else shortest xs 

Warum funktioniert die Funktion typecheck?

Answer 1

An diesem Code sind zwei Klassen beteiligt: ​​Num und Ord. Hinweis , dass ein Typ ein Mitglied sein kann Num und nicht Ord und umgekehrt.

Die Art der sumNum a => [a] -> a ist, so dass die Eingabeelemente auf shortest Bedürfnisse Mitglied Num sein. Sie tun auch die folgenden in Ihrem Code:

sum x < sum (shortest xs) 

Dies bedeutet, dass Sie den Operator < auf a s verwenden, aber in Ihrer Art Unterschrift haben Sie nicht erforderlich, dass die a s eine Instanz von Ord sein, die definiert, <:

class Eq a => Ord a where 
    compare :: a -> a -> Ordering 
    (<) :: a -> a -> Bool 
    ... 

Daher müssen Sie diese Anforderung an Ihre Art Signatur hinzuzufügen:

shortest :: (Ord a, Num a) => [[a]] -> [a] 

Oder Sie könnten die Typ-Signatur weglassen.

Answer 2

Num enthält nicht Ord, so dass Sie die Ord Einschränkung auf a in der Typ-Signatur fehlt. Es sollte

shortest :: (Num a, Ord a) => [[a]] -> [a] 

Sie sich die Art Signatur entfernen und GHC wird dies für Sie schließen.